dev-lang/mercury-extras: remove old versions
[gentoo.git] / dev-lang / mercury-extras /
drwxr-xr-x   ..
-rw-r--r-- 649 Manifest
-rw-r--r-- 4599 mercury-extras-14.01.1.ebuild
-rw-r--r-- 240 metadata.xml