summaryrefslogtreecommitdiff
path: root/dev-lang/polyml
AgeCommit message (Expand)Author
2025-08-19dev-lang/polyml: fix deps and lto buildMaciej Barć
2025-08-09dev-lang/polyml: bump to 5.9.2Maciej Barć
2025-08-09dev-lang/polyml: drop old 5.9-r2Maciej Barć
2023-09-18dev-lang/polyml: bump to 5.9.1Maciej Barć
2023-09-07dev-lang/polyml: remove created .laMaciej Barć
2023-01-22dev-lang/polyml: fix c++11 buildAlfredo Tupone
2022-08-29dev-lang/polyml: drop 5.8, 5.8.2, EAPI-6--Andreas Sturmlechner
2022-07-02dev-lang/polyml: clean la filesAlfredo Tupone
2022-01-04dev-lang/polyml: remove implicit elibc_* flagsDavid Seifert
2021-12-03dev-lang/polyml: dev-libs/gmp slot; no need for --disable-staticMaciej Barć
2021-12-03dev-lang/polyml: bump to 5.9Maciej Barć
2021-12-03dev-lang/polyml: add to the Gentoo ML ProjectMaciej Barć
2021-09-11**/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller
2021-09-10dev-lang/polyml: Version bump; fix glibc-2.34 buildAndreas K. Hüttel
2021-08-05dev-lang/polyml: add github upstream metadataSam James
2021-03-16dev-lang/polyml: drop 5.6Sam James
2020-11-16dev-lang/polyml: use dev-libs/libffi instead of virtual/libffiSergei Trofimovich
2020-09-27dev-lang/polyml: remove unused patchesMichael Mair-Keimberger
2020-09-24dev-lang/polyml: drop old EAPI=5Aaron Bauman
2020-09-14*/*: [QA] Remove redundant <longdescription/>sMichał Górny
2019-12-13*/*: Remove ml@ from packages maintainersMichał Górny
2019-12-11*/*: [QA] Remove redundant `|| die` guardsDavid Seifert
2019-12-11*/*: [QA] Fix trivial cases of MissingTestRestrictMichał Górny
2019-10-21dev-lang/polyml: removing me from maintainerTupone Alfredo
2019-04-06dev-lang/polyml: bump to 5.8Tupone Alfredo
2019-04-05dev-lang/polyml: Fix build with libffi3Tupone Alfredo
2019-04-05dev-lang/polyml: Adding me as a maintainerTupone Alfredo
2019-04-05dev-lang/polyml: Fix build, sem_wait found on libpthreadTupone Alfredo
2018-06-07dev-lang/polyml: use HTTPsMichael Mair-Keimberger
2017-12-09dev-lang/*: Update Manifest hashesMichał Górny
2017-11-26dev-lang/polyml: [QA] Consistent whitespace in metadata.xmlDavid Seifert
2017-02-28Drop $Id$ per council decision in bug #611234.Robin H. Johnson
2016-12-28dev-lang/polyml: Bump to 5.6Mark Wright
2016-10-10dev-lang/polyml: remove unused patch.Michael Mair-Keimberger (asterix)
2016-07-27sourceforge: switch to https:// URIsMike Frysinger
2016-01-24Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny
2016-01-24Replace all herds with appropriate projects (GLEP 67)Michał Górny
2015-08-24Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert
2015-08-24Use https by defaultJustin Lecher
2015-08-08proj/gentoo: Initial commitRobin H. Johnson
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-23 00:58:15 +0000