summaryrefslogtreecommitdiff
path: root/Build/source/libs/gmp
AgeCommit message (Expand)Author
2014-06-26libs/gmp: Allow to build debugging version, reported by Luigi ScarsoPeter Breitenlohner
2014-06-18Add libs/gmp and libs/mpfr in preparation for MetaPost 2.0Peter Breitenlohner