dev-lang/mercury-extras: remove old versions
authorKeri Harris <keri@gentoo.org>
Sat, 27 Oct 2018 06:57:12 +0000 (08:57 +0200)
committerKeri Harris <keri@gentoo.org>
Sat, 27 Oct 2018 06:57:12 +0000 (08:57 +0200)
commit27b92e81350e1c5a7acb83ede255068d5f530123
treea88be34fd7f6995d05e1de032525a2e0e10a6b8e
parent3faf98103a3a0de63ef4dd37bb6815dfb59c7435
dev-lang/mercury-extras: remove old versions

Signed-off-by: Keri Harris <keri@gentoo.org>
Package-Manager: Portage-2.3.40, Repoman-2.3.9
dev-lang/mercury-extras/Manifest
dev-lang/mercury-extras/mercury-extras-13.05.2.ebuild [deleted file]
dev-lang/mercury-extras/mercury-extras-14.01.ebuild [deleted file]