Gentoo Packages /package/dev-lang/mercury-extrashttp://www.gentoo.org/favicon.icohttp://packages.gentoo.org/feed/package/dev-lang/mercury-extras?arches=exoticGentoo Packages22013-05-26T08:01:05Z
<div>
<span class="cpvstr">dev-lang/mercury-extras</span>: <span class="description">Additional libraries and tools that are not part of the Mercury standard library</span>
</div>
http://packages.gentoo.org/package/dev-lang/mercury-extras?ts=2013-05-03T13:01:08Z?arches=exotic (keri)http://cia.vc/stats/author/keri2013-05-03T13:01:08Z