Commit graph

13 commits

Author SHA1 Message Date
Martin Wilke
b08635b913 - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
PR:		143994 143995 143996
Submitted by:	Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe:	yes
2010-02-26 09:30:28 +00:00
Yi-Jheng Lin
97460aabb1 - Update to 5.2.1
PR:		ports/139735
Submitted by:	Timothy Bourke <timbob AT bigpond.com> (maintainer)
Approved by:	rafan (co-mentor)
2009-10-20 15:38:47 +00:00
Dmitry Marakasov
0074c5fa8c - Switch SourceForge ports to the new File Release System: categories starting with H,I,J,K,L 2009-08-22 00:24:37 +00:00
Edwin Groothuis
718c5ef4c5 [MAINTAINER] lang/polyml: 5.1 -> 5.2
PR:		ports/126068
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2008-08-15 00:42:08 +00:00
Pav Lucistnik
efa63f6ba4 - Remove USE_GCC where it can be satisfied with base compiler on following
FreeBSD versions: 5.3 and up, 6.x, 7.x, 8-CURRENT
2008-07-25 14:34:52 +00:00
Rong-En Fan
64c804e4a6 - Fix build with gcc 4
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
2008-04-05 05:18:58 +00:00
Rong-En Fan
8d3834b690 - Update to 5.1
PR:		ports/120997
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
2008-04-04 12:16:15 +00:00
Martin Wilke
a789b3a608 - Marked broken for amd64
Submitted by:   pointyhat via kris
Approved by:    maintainer
2007-03-20 16:18:23 +00:00
Martin Wilke
34db86fe80 - Remove patchset (forget in last commit)
Submitted by: pointyhat and maintainer
2007-03-11 10:30:13 +00:00
Martin Wilke
889331980a - Update to 5.0
PR:             109951
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
2007-03-06 21:01:39 +00:00
Marcus Alves Grando
f2eb9abe36 - Update to 4.2.0
- Is not RESTRICTED anymore

PR:		94667
Submitted by:	maintainer
2006-03-29 14:05:30 +00:00
Edwin Groothuis
59152d0be4 SHA256ify
Approved by:	krion@
2006-01-30 12:14:44 +00:00
Simon Barner
fbc1517ea7 Add polyml 4.1.3, a fast open-source implementation of Standard ML.
PR:		83433
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2005-07-29 07:19:56 +00:00