dev-lang/mercury-extras: fix precedence of mercury-pkgs
authorKeri Harris <keri@gentoo.org>
Tue, 17 Jul 2018 11:57:54 +0000 (13:57 +0200)
committerKeri Harris <keri@gentoo.org>
Tue, 17 Jul 2018 11:58:37 +0000 (13:58 +0200)
commitc6244f2def60b239411f42000f4251bde7b7c212
tree23677838d2f45c2da8bda39e98a79fd3f4769e18
parentdb0799546cb1a92abd70e5731fc6f9d5bd995bfa
dev-lang/mercury-extras: fix precedence of mercury-pkgs

Package-Manager: Portage-2.3.40, Repoman-2.3.9
dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild