| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/polyml: fix c++11 build |   Alfredo Tupone | 2023-01-22 | 1 | -0/+11 |
| * | dev-lang/polyml: drop 5.8, 5.8.2, EAPI-6-- |   Andreas Sturmlechner | 2022-08-29 | 3 | -59/+0 |
| * | dev-lang/polyml: Version bump; fix glibc-2.34 build |   Andreas K. Hüttel | 2021-09-10 | 2 | -0/+42 |
| * | dev-lang/polyml: remove unused patches |   Michael Mair-Keimberger | 2020-09-27 | 11 | -555/+0 |
| * | dev-lang/polyml: Fix build with libffi3 | Tupone Alfredo | 2019-04-05 | 1 | -0/+18 |
| * | dev-lang/polyml: Fix build, sem_wait found on libpthread | Tupone Alfredo | 2019-04-05 | 1 | -0/+11 |
| * | dev-lang/polyml: remove unused patch. | Michael Mair-Keimberger (asterix) | 2016-10-10 | 1 | -29/+0 |
| * | sourceforge: switch to https:// URIs |   Mike Frysinger | 2016-07-27 | 2 | -2/+2 |
| * | proj/gentoo: Initial commit |   Robin H. Johnson | 2015-08-08 | 12 | -0/+584 |
GitWeb