summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/polyml: Version bump; fix glibc-2.34 buildAndreas K. Hüttel2021-09-101-0/+1
* dev-lang/polyml: drop 5.6Sam James2021-03-161-1/+0
* dev-lang/polyml: drop old EAPI=5Aaron Bauman2020-09-241-4/+0
* dev-lang/polyml: bump to 5.8Tupone Alfredo2019-04-061-0/+1
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-5/+5
* dev-lang/polyml: Bump to 5.6Mark Wright2016-12-281-0/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+4