all options

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 rover in all suites, all sections, and all architectures. Found 12 matching packages.

Exact hits

Package rover

Other hits

Package eprover

Package eprover-dbgsym

Package kde-telepathy-approver

Package kde-telepathy-approver-dbg

Package kde-telepathy-approver-dbgsym

Package prover9

Package prover9-doc

Package prover9-mace4

Package python-microversion-parse

Package python-microversion-parse-doc

Package python3-microversion-parse