aboutsummaryrefslogtreecommitdiff
path: root/lang/polyml
Commit message (Expand)AuthorAgeFilesLines
* - Update to 5.5Beech Rintoul2013-03-042-5/+4
* - Fix a segfault on startupMartin Wilke2013-02-082-5/+13
* - Update to 5.4.1Sunpoet Po-Chuan Hsieh2012-05-212-10/+4
* - remove MD5Olli Hauer2011-07-031-1/+0
* - Try to fix build on amd64/6 (untested)Pav Lucistnik2010-10-191-1/+7
* - Update to 5.4Sunpoet Po-Chuan Hsieh2010-10-163-17/+6
* - Update to 5.3Li-Wen Hsu2010-08-223-5/+19
* Fix maintainer emailadressTilman Keskinoz2010-08-091-1/+1
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke2010-02-261-1/+1
* - Update to 5.2.1Yi-Jheng Lin2009-10-203-24/+4
* - Switch SourceForge ports to the new File Release System: categories startin...Dmitry Marakasov2009-08-221-2/+1
* [MAINTAINER] lang/polyml: 5.1 -> 5.2Edwin Groothuis2008-08-153-7/+16
* - Remove USE_GCC where it can be satisfied with base compiler on followingPav Lucistnik2008-07-251-1/+0
* - Fix build with gcc 4Rong-En Fan2008-04-051-0/+11
* - Update to 5.1Rong-En Fan2008-04-042-7/+7
* - Marked broken for amd64Martin Wilke2007-03-201-0/+1
* - Remove patchset (forget in last commit)Martin Wilke2007-03-114-68/+0
* - Update to 5.0Martin Wilke2007-03-063-103/+19
* - Update to 4.2.0Marcus Alves Grando2006-03-298-172/+74
* SHA256ifyEdwin Groothuis2006-01-301-0/+4
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.Simon Barner2005-07-2912-0/+290