7|2024-01-18|dev-lang/mercury-extras|mercury-extras-20.06.1.ebuild|https://dl.mercurylang.org/release/mercury-srcdist-20.06.1.tar.gz|maintainer-needed@gentoo.org
7|2024-01-18|dev-lang/mercury-extras|mercury-extras-20.06.ebuild|https://dl.mercurylang.org/release/mercury-srcdist-20.06.tar.gz|maintainer-needed@gentoo.org