dev-lang/mercury-extras-0.12.2-r2
dev-lang/mercury-extras-0.13.1
dev-lang/mercury-extras-0.13.1-r1
[B]dev-libs/mpatrol-1.4.8
[B]dev-libs/mpatrol-1.4.8-r1
[B]dev-libs/mpatrol-1.4.8-r2