summaryrefslogtreecommitdiff
path: root/dev-ml/bin-prot
AgeCommit message (Expand)Author
2021-04-04dev-ml/bin-prot: treecleanSam James
2021-03-15dev-ml/bin-prot: drop 0.9.0, 0.9.1Sam James
2019-12-13*/*: Remove ml@ from packages maintainersMichał Górny
2017-12-09dev-ml/*: Update Manifest hashesMichał Górny
2017-11-10dev-ml/bin-prot: bump to 0.9.2Alexis Ballier
2017-07-29dev-ml/bin-prot: bump to 0.9.1Alexis Ballier
2017-06-25dev-ml/bin-prot: add missing dep on dev-ml/ppx_type_convAlexis Ballier
2017-06-25dev-ml/bin-prot: add missing dev-ml/ppx_core:= depAlexis Ballier
2017-04-29Globally add missing remote ID references to metadata.xmlJustin Lecher
2017-04-02dev-ml/bin-prot: Bump to 0.9.0Alexis Ballier
2017-02-28Drop $Id$ per council decision in bug #611234.Robin H. Johnson
2017-01-24dev-ml/bin-prot: remove oldAlexis Ballier
2016-03-22dev-ml/bin-prot: bump to 113.33.00Alexis Ballier
2016-02-07dev-ml/bin-prot: remove oldAlexis Ballier
2016-02-05dev-ml/bin-prot: use proper install methodAlexis Ballier
2016-02-05dev-ml/bin-prot: drop camlp4 dep; update licenseAlexis Ballier
2016-02-05dev-ml/bin-prot: bump to 113.24.00Alexis Ballier
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-09-19dev-ml/bin-prot: bump to 113.00.00Alexis Ballier
2015-09-19dev-ml/bin-prot: remove old.Alexis Ballier
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-02-07 02:03:25 +0000