aboutsummaryrefslogtreecommitdiffstats
path: root/lang/polyml
Commit message (Collapse)AuthorAgeFilesLines
* - Update to 5.4.1sunpoet2012-05-212-10/+4
| | | | | | | - While I'm here, remove outdated OSVERSION check PR: ports/168180 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
* - remove MD5ohauer2011-07-031-1/+0
|
* - Try to fix build on amd64/6 (untested)pav2010-10-201-1/+7
| | | | Suggested by: maintainer
* - Update to 5.4sunpoet2010-10-163-17/+6
| | | | | | | | | - Revive amd64 build Changes: http://www.polyml.org/docs/ReleaseNotes.html PR: ports/151476 Submitted by: sunpoet (myself) Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer), pgollucci (mentor, implicit)
* - Update to 5.3lwhsu2010-08-223-5/+19
| | | | | | | - Add copyright information PR: ports/149735 Submitted by: Timothy Beyer <beyert AT cs.ucr.edu> (maintainer)
* Fix maintainer emailadressarved2010-08-091-1/+1
| | | | | PR: 149451 Submitted by: maintainer
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)miwi2010-02-261-1/+1
| | | | | | PR: 143994 143995 143996 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Feature safe: yes
* - Update to 5.2.1yzlin2009-10-203-24/+4
| | | | | | PR: ports/139735 Submitted by: Timothy Bourke <timbob AT bigpond.com> (maintainer) Approved by: rafan (co-mentor)
* - Switch SourceForge ports to the new File Release System: categories ↵amdmi32009-08-221-2/+1
| | | | starting with H,I,J,K,L
* [MAINTAINER] lang/polyml: 5.1 -> 5.2edwin2008-08-153-7/+16
| | | | | PR: ports/126068 Submitted by: Timothy Bourke <timbob@bigpond.com>
* - Remove USE_GCC where it can be satisfied with base compiler on followingpav2008-07-251-1/+0
| | | | FreeBSD versions: 5.3 and up, 6.x, 7.x, 8-CURRENT
* - Fix build with gcc 4rafan2008-04-051-0/+11
| | | | Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
* - Update to 5.1rafan2008-04-042-7/+7
| | | | | PR: ports/120997 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
* - Marked broken for amd64miwi2007-03-211-0/+1
| | | | | Submitted by: pointyhat via kris Approved by: maintainer
* - Remove patchset (forget in last commit)miwi2007-03-114-68/+0
| | | | Submitted by: pointyhat and maintainer
* - Update to 5.0miwi2007-03-073-103/+19
| | | | | PR: 109951 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
* - Update to 4.2.0mnag2006-03-298-172/+74
| | | | | | | - Is not RESTRICTED anymore PR: 94667 Submitted by: maintainer
* SHA256ifyedwin2006-01-301-0/+4
| | | | Approved by: krion@
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.barner2005-07-2912-0/+290
PR: 83433 Submitted by: Timothy Bourke <timbob@bigpond.com>
generated by cgit (git 2.34.1) at 2024-11-28 10:58:04 +0800