aboutsummaryrefslogtreecommitdiffstats
path: root/lang/polyml/distinfo
Commit message (Expand)AuthorAgeFilesLines
* lang/polyml: update to 5.7.1fernape2018-06-301-3/+3
* Fixup USE_GITHUB usage.mat2016-11-261-2/+3
* lang/polyml: 5.5.2 -> 5.6pi2016-04-161-2/+2
* lang/polyml: Upgrade version 5.5 => 5.5.2marino2014-07-271-2/+2
* - Update to 5.5beech2013-03-051-2/+2
* - Update to 5.4.1sunpoet2012-05-211-2/+2
* - remove MD5ohauer2011-07-031-1/+0
* - Update to 5.4sunpoet2010-10-161-3/+3
* - Update to 5.3lwhsu2010-08-221-3/+3
* - Update to 5.2.1yzlin2009-10-201-3/+3
* [MAINTAINER] lang/polyml: 5.1 -> 5.2edwin2008-08-151-3/+3
* - Update to 5.1rafan2008-04-041-3/+3
* - Update to 5.0miwi2007-03-071-12/+3
* - Update to 4.2.0mnag2006-03-291-12/+12
* SHA256ifyedwin2006-01-301-0/+4
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.barner2005-07-291-0/+8