dev-lang/mercury: version bump
[gentoo.git] / dev-lang / mercury /
drwxr-xr-x   ..
-rw-r--r-- 1280 Manifest
drwxr-xr-x - files
-rw-r--r-- 5624 mercury-14.01.1-r1.ebuild
-rw-r--r-- 5129 mercury-20.01.ebuild
-rw-r--r-- 384 metadata.xml