summaryrefslogtreecommitdiff
path: root/lang/polyml/distinfo
AgeCommit message (Expand)AuthorFilesLines
2016-03-01Update to Poly/ML 5.6.asau1-6/+5
2015-12-29Add patch comments.dholland1-5/+5
2015-11-03Add SHA512 digests for distfiles for lang categoryagc1-1/+2
2014-09-29Make compiler wrapper add RPATH.asau1-2/+2
2014-09-24Use C++ frontend to link the code.asau1-1/+4
2014-09-13Update to Poly/ML 5.5.2asau1-6/+5
2014-03-05Fix compilation script to actually work.asau1-2/+2
2013-12-15Update to Poly/ML 5.5.1asau1-5/+6
2012-10-08Regenerate.asau1-4/+4
2012-03-22Update to Poly/ML 5.4.1asau1-5/+5
2009-12-13Update to Poly/ML Version 5.3asau1-4/+5
2009-03-20Import Poly/ML version 5.2.1asau1-0/+5