Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/menhir/menhir-20170418.ebuild
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/menhir: new release switchted from qpl to gplAlexis Ballier2017-04-191-1/+1
| | | | Package-Manager: Portage-2.3.5, Repoman-2.3.2
* dev-ml/menhir: bump to 20170418Alexis Ballier2017-04-191-0/+36
Package-Manager: Portage-2.3.5, Repoman-2.3.2