| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-lang/polyml: bump to 5.9.1 | Maciej Barć | 2023-09-18 | 2 | -0/+70 |
* | dev-lang/polyml: remove created .la | Maciej Barć | 2023-09-07 | 1 | -1/+8 |
* | dev-lang/polyml: fix c++11 build | Alfredo Tupone | 2023-01-22 | 2 | -1/+13 |
* | dev-lang/polyml: drop 5.8, 5.8.2, EAPI-6-- | Andreas Sturmlechner | 2022-08-29 | 6 | -176/+0 |
* | dev-lang/polyml: clean la files | Alfredo Tupone | 2022-07-02 | 1 | -1/+6 |
* | dev-lang/polyml: remove implicit elibc_* flags | David Seifert | 2022-01-04 | 2 | -4/+4 |
* | dev-lang/polyml: dev-libs/gmp slot; no need for --disable-static | Maciej Barć | 2021-12-03 | 1 | -2/+1 |
* | dev-lang/polyml: bump to 5.9 | Maciej Barć | 2021-12-03 | 2 | -0/+48 |
* | dev-lang/polyml: add to the Gentoo ML Project | Maciej Barć | 2021-12-03 | 1 | -1/+4 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | dev-lang/polyml: Version bump; fix glibc-2.34 build | Andreas K. Hüttel | 2021-09-10 | 4 | -0/+99 |
* | dev-lang/polyml: add github upstream metadata | Sam James | 2021-08-05 | 1 | -0/+1 |
* | dev-lang/polyml: drop 5.6 | Sam James | 2021-03-16 | 2 | -60/+0 |
* | dev-lang/polyml: use dev-libs/libffi instead of virtual/libffi | Sergei Trofimovich | 2020-11-16 | 2 | -4/+4 |
* | dev-lang/polyml: remove unused patches | Michael Mair-Keimberger | 2020-09-27 | 11 | -555/+0 |
* | 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 |