summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/files/polyml-5.5.1-optimize-closure.patch
AgeCommit message (Expand)Author
2020-09-27dev-lang/polyml: remove unused patchesMichael Mair-Keimberger
2016-07-27sourceforge: switch to https:// URIsMike Frysinger
2015-08-08proj/gentoo: Initial commitRobin H. Johnson