aboutsummaryrefslogtreecommitdiff
path: root/lang/polyml/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Fixup USE_GITHUB usage.Mathieu Arnold2016-11-261-2/+3
* lang/polyml: 5.5.2 -> 5.6Kurt Jaeger2016-04-151-2/+2
* lang/polyml: Upgrade version 5.5 => 5.5.2John Marino2014-07-271-2/+2
* - Update to 5.5Beech Rintoul2013-03-041-2/+2
* - Update to 5.4.1Sunpoet Po-Chuan Hsieh2012-05-211-2/+2
* - remove MD5Olli Hauer2011-07-031-1/+0
* - Update to 5.4Sunpoet Po-Chuan Hsieh2010-10-161-3/+3
* - Update to 5.3Li-Wen Hsu2010-08-221-3/+3
* - Update to 5.2.1Yi-Jheng Lin2009-10-201-3/+3
* [MAINTAINER] lang/polyml: 5.1 -> 5.2Edwin Groothuis2008-08-151-3/+3
* - Update to 5.1Rong-En Fan2008-04-041-3/+3
* - Update to 5.0Martin Wilke2007-03-061-12/+3
* - Update to 4.2.0Marcus Alves Grando2006-03-291-12/+12
* SHA256ifyEdwin Groothuis2006-01-301-0/+4
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.Simon Barner2005-07-291-0/+8