summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/menhir: remove oldAlexis Ballier2017-01-242-38/+0
* dev-ml/menhir: bump to 20170101Alexis Ballier2017-01-032-0/+38
* dev-ml/menhir: remove oldAlexis Ballier2017-01-035-152/+0
* dev-ml/menhir: bump to 20161115Alexis Ballier2016-11-162-0/+38
* dev-ml/menhir: bump to 20161114Alexis Ballier2016-11-152-0/+38
* dev-ml/menhir: bump to 20160825Alexis Ballier2016-08-272-0/+38
* dev-ml/menhir: bump to 20160808Alexis Ballier2016-08-162-0/+38
* dev-ml/menhir: remove oldAlexis Ballier2016-08-165-131/+0
* dev-ml/menhir: bump to 20160526Alexis Ballier2016-05-302-0/+38
* dev-ml/menhir: bump to 20160504Alexis Ballier2016-05-242-0/+38
* dev-ml/menhir: bump to 20160303Alexis Ballier2016-03-042-0/+38
* dev-ml/menhir: fix build with ocamlbuild 0.9.1Alexis Ballier2016-03-012-1/+18
* dev-ml/menhir: add ocamlbuild depAlexis Ballier2016-03-011-2/+3
* dev-ml/menhir: remove oldAlexis Ballier2016-02-076-185/+0
* 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/menhir: bump to 20151112.Alexis Ballier2015-11-132-0/+37
* dev-ml/menhir: Bump to 20151103.Alexis Ballier2015-11-052-0/+37
* dev-ml/menhir: Bump to 20151030.Alexis Ballier2015-11-012-0/+37
* dev-ml/menhir: bump to 20151026.Alexis Ballier2015-10-302-0/+37
* dev-ml/menhir: Bump to 20151023.Alexis Ballier2015-10-262-0/+37
* dev-ml/menhir: Remove old.Alexis Ballier2015-10-155-148/+0
* dev-ml/menhir: Bump to 20151012.Alexis Ballier2015-10-152-0/+37
* dev-ml/menhir: bump to 20151005.Alexis Ballier2015-10-062-0/+37
* dev-ml/menhir: version bump.Alexis Ballier2015-09-242-0/+37
* dev-ml/menhir: bump to 20150914.Alexis Ballier2015-09-162-0/+37
* dev-ml/menhir: remove old.Alexis Ballier2015-08-253-74/+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/+116