| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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