Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/bin-prot
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/bin-prot: bump to 0.9.2Alexis Ballier2017-11-102-0/+45
* dev-ml/bin-prot: bump to 0.9.1Alexis Ballier2017-07-292-0/+45
* dev-ml/bin-prot: add missing dep on dev-ml/ppx_type_convAlexis Ballier2017-06-251-0/+1
* dev-ml/bin-prot: add missing dev-ml/ppx_core:= depAlexis Ballier2017-06-251-0/+1
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-5/+8
* dev-ml/bin-prot: Bump to 0.9.0Alexis Ballier2017-04-023-45/+43
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/bin-prot: remove oldAlexis Ballier2017-01-242-46/+0
* dev-ml/bin-prot: bump to 113.33.00Alexis Ballier2016-03-222-0/+46
* dev-ml/bin-prot: remove oldAlexis Ballier2016-02-073-58/+0
* dev-ml/bin-prot: use proper install methodAlexis Ballier2016-02-051-1/+19
* dev-ml/bin-prot: drop camlp4 dep; update licenseAlexis Ballier2016-02-051-3/+2
* dev-ml/bin-prot: bump to 113.24.00Alexis Ballier2016-02-052-0/+29
* 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/bin-prot: bump to 113.00.00Alexis Ballier2015-09-192-0/+29
* dev-ml/bin-prot: remove old.Alexis Ballier2015-09-193-58/+0
* 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-085-0/+92