| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-lang/polyml: drop old EAPI=5 |  Aaron Bauman | 2020-09-24 | 5 | -244/+0 |
* | */*: [QA] Remove redundant <longdescription/>s |  Michał Górny | 2020-09-14 | 1 | -3/+0 |
* | */*: Remove ml@ from packages maintainers |  Michał Górny | 2019-12-13 | 1 | -4/+1 |
* | */*: [QA] Remove redundant `|| die` guards |  David Seifert | 2019-12-11 | 6 | -6/+6 |
* | */*: [QA] Fix trivial cases of MissingTestRestrict |  Michał Górny | 2019-12-11 | 6 | -4/+10 |
* | dev-lang/polyml: removing me from maintainer |  Tupone Alfredo | 2019-10-21 | 1 | -4/+0 |
* | dev-lang/polyml: bump to 5.8 |  Tupone Alfredo | 2019-04-06 | 3 | -0/+60 |
* | dev-lang/polyml: Fix build with libffi3 |  Tupone Alfredo | 2019-04-05 | 2 | -1/+22 |
* | dev-lang/polyml: Adding me as a maintainer |  Tupone Alfredo | 2019-04-05 | 1 | -0/+4 |
* | dev-lang/polyml: Fix build, sem_wait found on libpthread |  Tupone Alfredo | 2019-04-05 | 2 | -1/+14 |
* | dev-lang/polyml: use HTTPs |  Michael Mair-Keimberger | 2018-06-07 | 5 | -10/+10 |
* | dev-lang/*: Update Manifest hashes |  Michał Górny | 2017-12-09 | 1 | -5/+5 |
* | dev-lang/polyml: [QA] Consistent whitespace in metadata.xml |  David Seifert | 2017-11-26 | 1 | -4/+3 |
* | Drop $Id$ per council decision in bug #611234. |  Robin H. Johnson | 2017-02-28 | 5 | -5/+0 |
* | dev-lang/polyml: Bump to 5.6 |  Mark Wright | 2016-12-28 | 2 | -0/+54 |
* | 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 | 4 | -5/+5 |
* | Set appropriate maintainer types in metadata.xml (GLEP 67) |  Michał Górny | 2016-01-24 | 1 | -1/+1 |
* | Replace all herds with appropriate projects (GLEP 67) |  Michał Górny | 2016-01-24 | 1 | -1/+4 |
* | Revert DOCTYPE SYSTEM https changes in metadata.xml |  Mike Gilbert | 2015-08-24 | 1 | -1/+1 |
* | Use https by default |  Justin Lecher | 2015-08-24 | 1 | -1/+1 |
* | proj/gentoo: Initial commit |  Robin H. Johnson | 2015-08-08 | 18 | -0/+843 |