Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/polyml
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/polyml: dev-libs/gmp slot; no need for --disable-staticMaciej Barć2021-12-031-2/+1
* dev-lang/polyml: bump to 5.9Maciej Barć2021-12-032-0/+48
* dev-lang/polyml: add to the Gentoo ML ProjectMaciej Barć2021-12-031-1/+4
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-lang/polyml: Version bump; fix glibc-2.34 buildAndreas K. Hüttel2021-09-104-0/+99
* dev-lang/polyml: add github upstream metadataSam James2021-08-051-0/+1
* dev-lang/polyml: drop 5.6Sam James2021-03-162-60/+0
* dev-lang/polyml: use dev-libs/libffi instead of virtual/libffiSergei Trofimovich2020-11-162-4/+4
* dev-lang/polyml: remove unused patchesMichael Mair-Keimberger2020-09-2711-555/+0
* dev-lang/polyml: drop old EAPI=5Aaron Bauman2020-09-245-244/+0
* */*: [QA] Remove redundant <longdescription/>sMichał Górny2020-09-141-3/+0
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-116-6/+6
* */*: [QA] Fix trivial cases of MissingTestRestrictMichał Górny2019-12-116-4/+10
* dev-lang/polyml: removing me from maintainerTupone Alfredo2019-10-211-4/+0
* dev-lang/polyml: bump to 5.8Tupone Alfredo2019-04-063-0/+60
* dev-lang/polyml: Fix build with libffi3Tupone Alfredo2019-04-052-1/+22
* dev-lang/polyml: Adding me as a maintainerTupone Alfredo2019-04-051-0/+4
* dev-lang/polyml: Fix build, sem_wait found on libpthreadTupone Alfredo2019-04-052-1/+14
* dev-lang/polyml: use HTTPsMichael Mair-Keimberger2018-06-075-10/+10
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-5/+5
* dev-lang/polyml: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-261-4/+3
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-285-5/+0
* dev-lang/polyml: Bump to 5.6Mark Wright2016-12-282-0/+54
* dev-lang/polyml: remove unused patch.Michael Mair-Keimberger (asterix)2016-10-101-29/+0
* sourceforge: switch to https:// URIsMike Frysinger2016-07-274-5/+5
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0818-0/+843