packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain rover in all suites, all sections, and all architectures. Found 6 matching packages.

Exact hits

Package rover

• jammy (22.04LTS) (admin): text-based light-weight frontend for update-alternatives [universe]
  0.76.1: all

Other hits

Package eprover

• noble (24.04LTS) (math): Equational theorem prover [universe]
  3.0.03+ds-1: amd64 arm64 armhf ppc64el riscv64 s390x
• plucky (25.04) (math): Equational theorem prover [universe]
  3.2.5+ds-1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (math): Equational theorem prover [universe]
  3.2.5+ds-1: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (math): Equational theorem prover [universe]
  3.2.5+ds-1: amd64 arm64 armhf ppc64el riscv64 s390x

Package kde-telepathy-approver

• jammy (22.04LTS) (kde): KDED module for approving incoming conversations [universe]
  4:21.12.3-0ubuntu1: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (kde): KDED module for approving incoming conversations [universe]
  4:23.04.3-0ubuntu3: amd64 arm64 armhf ppc64el riscv64 s390x

Package prover9-doc

• jammy (22.04LTS) (doc): documentation for Prover9 and associated programs [universe]
  0.0.200902a-2.1: all
• noble (24.04LTS) (doc): documentation for Prover9 and associated programs [universe]
  0.0.200902a-2.1: all
• plucky (25.04) (doc): documentation for Prover9 and associated programs [universe]
  0.0.200902a-2.1: all

Package python-microversion-parse-doc

• jammy (22.04LTS) (doc): OpenStack microversion header parsing library - doc
  1.0.0-0ubuntu1: all
• noble (24.04LTS) (doc): OpenStack microversion header parsing library - doc
  1.0.1-2: all
• plucky (25.04) (doc): OpenStack microversion header parsing library - doc
  1.0.1-3: all
• questing (25.10) (doc): OpenStack microversion header parsing library - doc
  1.0.1-3: all
• resolute (doc): OpenStack microversion header parsing library - doc
  1.0.1-3build1: all

Package python3-microversion-parse

• jammy (22.04LTS) (python): OpenStack microversion header parsing library - Python 3.x
  1.0.0-0ubuntu1: all
• noble (24.04LTS) (python): OpenStack microversion header parsing library - Python 3.x
  1.0.1-2: all
• plucky (25.04) (python): OpenStack microversion header parsing library - Python 3.x
  1.0.1-3: all
• questing (25.10) (python): OpenStack microversion header parsing library - Python 3.x
  1.0.1-3: all
• resolute (python): OpenStack microversion header parsing library - Python 3.x
  1.0.1-3build1: all