dev-lang/mercury: remove old versions
[gentoo.git] / dev-lang / mercury /
drwxr-xr-x   ..
-rw-r--r-- 790 Manifest
drwxr-xr-x - files
-rw-r--r-- 5102 mercury-13.05.2.ebuild
-rw-r--r-- 325 metadata.xml