summaryrefslogtreecommitdiff
path: root/dev-ml/bin-prot
Commit message (Expand)AuthorAge
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-09
* dev-ml/bin-prot: bump to 0.9.2Alexis Ballier2017-11-10
* dev-ml/bin-prot: bump to 0.9.1Alexis Ballier2017-07-29
* dev-ml/bin-prot: add missing dep on dev-ml/ppx_type_convAlexis Ballier2017-06-25
* dev-ml/bin-prot: add missing dev-ml/ppx_core:= depAlexis Ballier2017-06-25
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-29
* dev-ml/bin-prot: Bump to 0.9.0Alexis Ballier2017-04-02
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-28
* dev-ml/bin-prot: remove oldAlexis Ballier2017-01-24
* dev-ml/bin-prot: bump to 113.33.00Alexis Ballier2016-03-22
* dev-ml/bin-prot: remove oldAlexis Ballier2016-02-07
* dev-ml/bin-prot: use proper install methodAlexis Ballier2016-02-05
* dev-ml/bin-prot: drop camlp4 dep; update licenseAlexis Ballier2016-02-05
* dev-ml/bin-prot: bump to 113.24.00Alexis Ballier2016-02-05
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-24
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-24
* dev-ml/bin-prot: bump to 113.00.00Alexis Ballier2015-09-19
* dev-ml/bin-prot: remove old.Alexis Ballier2015-09-19
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* proj/gentoo: Initial commitRobin H. Johnson2015-08-08
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-14 14:34:55 +0000