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: 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