Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/menhir
Commit message (Expand)AuthorAgeFilesLines
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml/menhir: bump to 20190924Jason A. Donenfeld2019-12-032-0/+37
* dev-ml/menhir: Stable versionTupone Alfredo2019-10-211-1/+1
* dev-ml/menhir: bump to 20181006Tupone Alfredo2019-07-252-0/+37
* dev-ml/menhir: amd64 stable wrt bug #672444Mikle Kolyada2018-12-151-2/+2
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-2/+2
* dev-ml/menhir: bump to 20171013Alexis Ballier2017-10-172-0/+37
* dev-ml/menhir: Remove oldAlexis Ballier2017-07-245-148/+0
* dev-ml/menhir: keyword ~armAlexis Ballier2017-07-241-1/+1
* dev-ml/menhir: bump to 20170712Alexis Ballier2017-07-132-0/+37
* dev-ml/menhir: add ~ppc (needed for jbuilder test suite)Alexis Ballier2017-07-081-1/+1
* dev-ml/menhir: keyword ~arm64Alexis Ballier2017-06-221-1/+1
* dev-ml/menhir: bump to 20170607Alexis Ballier2017-06-082-0/+37
* dev-ml/menhir: bump to 20170509Alexis Ballier2017-05-102-0/+37
* dev-ml/menhir: new release switchted from qpl to gplAlexis Ballier2017-04-191-1/+1
* dev-ml/menhir: bump to 20170418Alexis Ballier2017-04-192-0/+37
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* 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