dev-lang/mercury-extras: fix ml compatibility with 17.1 profiles
authorKeri Harris <keri@gentoo.org>
Sat, 21 Mar 2020 16:39:45 +0000 (17:39 +0100)
committerKeri Harris <keri@gentoo.org>
Sat, 21 Mar 2020 16:40:07 +0000 (17:40 +0100)
commit7552050bc2dd61db07500ff962fff4ce75bd26f3
tree88e966ca622ac3b3654477ffe93f0167d3d030ef
parent80129486bf9ca12dd80b6692201246fdbad8967c
dev-lang/mercury-extras: fix ml compatibility with 17.1 profiles

Signed-off-by: Keri Harris <keri@gentoo.org>
Package-Manager: Portage-2.3.89, Repoman-2.3.11
dev-lang/mercury-extras/Manifest
dev-lang/mercury-extras/mercury-extras-14.01.1.ebuild