dev-lang/mercury: do not allow the Mercury compiler to pre-strip binaries while boots...
[gentoo.git] / dev-lang / mercury /
drwxr-xr-x   ..
-rw-r--r-- 2366 Manifest
drwxr-xr-x - files
-rw-r--r-- 5136 mercury-13.05.2.ebuild
-rw-r--r-- 5160 mercury-14.01.1.ebuild
-rw-r--r-- 5210 mercury-14.01.ebuild
-rw-r--r-- 384 metadata.xml