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]
You have searched for packages that names contain mona in all suites, all sections, and all architectures. Found 12 matching packages.
Your keyword was too generic, for optimizing reasons some results might have been suppressed.
Please consider using a longer keyword or more keywords.
Exact hits
Package mona
- buster (oldoldstable) (science):
theorem prover based on automata
1.4-17-1+b1: amd64 arm64 armhf i386 - bullseye (oldstable) (science):
theorem prover based on automata
1.4-17-2: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - bookworm (stable) (science):
theorem prover based on automata
1.4-18-1+b1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - trixie (testing) (science):
theorem prover based on automata
1.4-18-1+b1: amd64 arm64 armel armhf i386 mips64el ppc64el s390x - sid (unstable) (science):
theorem prover based on automata
1.4-18-1+b1: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x
1.4-18-1 [debports]: alpha hppa ia64 m68k ppc64 sh4 sparc64 x32
11 results have not been displayed because you requested only exact matches.