summaryrefslogtreecommitdiff
path: root/lang/polyml/distinfo
AgeCommit message (Expand)AuthorFilesLines
2021-10-26lang: Replace RMD160 checksums with BLAKE2s checksumsnia1-2/+2
2021-10-07lang: Remove SHA1 hashes for distfilesnia1-2/+1
2021-03-05Updated distinfo for lang/polyml for patch with commentjaapb1-2/+2
2021-03-05Updated lang/polyml to 5.8.1.jaapb1-8/+6
2020-08-14Need to run paxctl during the build, not just after it.dholland1-1/+2
2020-08-13Fix broken build on NetBSD amd64.dholland1-1/+2
2019-05-02Update to version 5.7.1. Switch to github releases.alnsn1-5/+5
2017-09-15Update to Poly/ML 5.7.asau1-5/+6
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-07 08:48:23 +0000