Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/extlib
Commit message (Expand)AuthorAgeFilesLines
* */*: [QA] Use consistent function definition formattingDavid Seifert2020-02-223-6/+6
* dev-ml/extlib: Version bump (v1.7.6)Mikle Kolyada2019-12-292-0/+51
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-2/+2
* dev-ml/extlib: keyword ~arm64Alexis Ballier2017-06-221-1/+1
* dev-ml/extlib: add ~arm, bug #611014Markus Meier2017-04-051-1/+1
* dev-ml/extlib: bump to 1.7.2Alexis Ballier2017-04-012-0/+48
* dev-ml/extlib: Fix build with ocaml 4.05Alexis Ballier2017-03-272-0/+39
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/extlib: remove oldAlexis Ballier2017-02-232-43/+0
* dev-ml/extlib: ppc stable (bug 586910).Michael Weber2017-02-231-1/+1
* dev-ml/extlib: Add ~ppc keyword (bug 586910).Michael Weber2017-02-231-1/+1
* dev-ml/extlib: x86 stable wrt bug #586910Agostino Sarubbo2017-02-161-1/+1
* dev-ml/extlib: amd64 stable wrt bug #586910Agostino Sarubbo2017-02-161-2/+2
* dev-ml/extlib: remove oldAlexis Ballier2017-01-243-89/+0
* dev-ml/extlib: bump to 1.7.1Alexis Ballier2016-11-152-0/+49
* dev-ml/extlib: Drop non-camlp4 support, #586910Michał Górny2016-06-291-2/+2
* Revert "dev-ml/*: Remove := slot ops from || deps, #586304"Alexis Ballier2016-06-231-2/+2
* dev-ml/*: Remove := slot ops from || deps, #586304Michał Górny2016-06-211-2/+2
* 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
* dev-ml/extlib: Fix deps. Upstream switched from camlp4 to cppo.Alexis Ballier2015-09-191-2/+2
* Add remote-idJustin Lecher2015-09-161-0/+1
* dev-ml/extlib: bump to 1.7.0 and switch to github.Alexis Ballier2015-09-142-0/+49
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Convert URIs for googlecode.com to httpsJustin Lecher2015-08-242-2/+2
* Enable https for all google URIsJustin Lecher2015-08-242-2/+2
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-084-0/+91