summaryrefslogtreecommitdiff
path: root/lang/polyml/options.mk
AgeCommit message (Expand)AuthorFilesLines
2012-06-15The package doesn't require GMP, turn it off, provide option instead.asau1-2/+9
2009-03-20Import Poly/ML version 5.2.1asau1-0/+20