dev-ml/menhir: new release switchted from qpl to gpl
[gentoo.git] / dev-ml / menhir /
drwxr-xr-x   ..
-rw-r--r-- 765 Manifest
-rw-r--r-- 874 menhir-20170101.ebuild
-rw-r--r-- 877 menhir-20170418.ebuild
-rw-r--r-- 243 metadata.xml