dev-lang/mercury: remove old versions
[gentoo.git] / dev-lang / mercury /
drwxr-xr-x   ..
-rw-r--r-- 642 Manifest
drwxr-xr-x - files
-rw-r--r-- 5776 mercury-14.01.1.ebuild
-rw-r--r-- 384 metadata.xml