13 package(s) known
Repository | Package name | Version | Category | Maintainer(s) |
---|---|---|---|---|
Gentoo | dev-lang/mercury-extras | 22.01.1 | dev-lang | keri@gentoo.org |
Gentoo | dev-lang/mercury-extras | 22.01 | dev-lang | keri@gentoo.org |
Gentoo | dev-lang/mercury-extras | 20.06.1 | dev-lang | keri@gentoo.org |
Gentoo | dev-lang/mercury-extras | 20.06 | dev-lang | keri@gentoo.org |
LiGurOS stable | dev-lang/mercury-extras | 22.01.1 | dev-lang | keri@gentoo.org |
LiGurOS stable | dev-lang/mercury-extras | 22.01 | dev-lang | keri@gentoo.org |
LiGurOS stable | dev-lang/mercury-extras | 20.06.1 | dev-lang | keri@gentoo.org |
LiGurOS stable | dev-lang/mercury-extras | 20.06 | dev-lang | keri@gentoo.org |
LiGurOS develop | dev-lang/mercury-extras | 22.01.1 | dev-lang | keri@gentoo.org |
LiGurOS develop | dev-lang/mercury-extras | 22.01 | dev-lang | keri@gentoo.org |
LiGurOS develop | dev-lang/mercury-extras | 20.06.1 | dev-lang | keri@gentoo.org |
LiGurOS develop | dev-lang/mercury-extras | 20.06 | dev-lang | keri@gentoo.org |
MacPorts | mercury-extras | 0.13.1 | lang | nomaintainer@macports.org |