Merge remote-tracking branch 'github/pr/2098'
[gentoo.git] / dev-ml / menhir /
drwxr-xr-x   ..
-rw-r--r-- 764 Manifest
-rw-r--r-- 881 menhir-20160526.ebuild
-rw-r--r-- 881 menhir-20160808.ebuild
-rw-r--r-- 243 metadata.xml