| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/polyml: bump to 5.9.1 |   Maciej Barć | 2023-09-18 | 1 | -0/+1 |
| * | dev-lang/polyml: drop 5.8, 5.8.2, EAPI-6-- |   Andreas Sturmlechner | 2022-08-29 | 1 | -2/+0 |
| * | dev-lang/polyml: bump to 5.9 | Maciej Barć | 2021-12-03 | 1 | -0/+1 |
| * | dev-lang/polyml: Version bump; fix glibc-2.34 build |   Andreas K. Hüttel | 2021-09-10 | 1 | -0/+1 |
| * | dev-lang/polyml: drop 5.6 |   Sam James | 2021-03-16 | 1 | -1/+0 |
| * | dev-lang/polyml: drop old EAPI=5 |   Aaron Bauman | 2020-09-24 | 1 | -4/+0 |
| * | dev-lang/polyml: bump to 5.8 |   Tupone Alfredo | 2019-04-06 | 1 | -0/+1 |
| * | dev-lang/*: Update Manifest hashes |   Michał Górny | 2017-12-09 | 1 | -5/+5 |
| * | dev-lang/polyml: Bump to 5.6 |   Mark Wright | 2016-12-28 | 1 | -0/+1 |
| * | proj/gentoo: Initial commit |   Robin H. Johnson | 2015-08-08 | 1 | -0/+4 |
GitWeb