Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Zoek in alle platforms
Some results have not been displayed due to the search parameters.
You have searched for pakketten that names contain rumur in alle suites, alle secties, and platform(s) ppc64el. Found 1 matching packages.
Exacte resultaten
Pakket rumur
- bullseye (oldstable) (devel):
model checker for the Murphi language
2020.12.20-1: ppc64el - bookworm (stable) (devel):
model checker for the Murphi language
2022.08.20-1: ppc64el - trixie (testing) (devel):
model checker for the Murphi language
2023.11.27-1: ppc64el - sid (unstable) (devel):
model checker for the Murphi language
2023.11.27-1: ppc64el