packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain mona in all suites, all sections, and all architectures. Found 8 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

• jammy (22.04LTS) (misc): theorem prover based on automata [universe]
  1.4-18-1: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (misc): theorem prover based on automata [universe]
  1.4-18-1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (misc): theorem prover based on automata [universe]
  1.4-18-1: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (misc): theorem prover based on automata [universe]
  1.4-18-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (misc): theorem prover based on automata [universe]
  1.4-18-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package monado-cli

• jammy (22.04LTS) (graphics): Monado command-line utility [universe]
  21.0.0~dfsg1-2ubuntu2: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (graphics): Monado command-line utility [universe]
  21.0.0+git2905.e26a272c1~dfsg1-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (graphics): Monado command-line utility [universe]
  25.0.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (graphics): Monado command-line utility [universe]
  25.0.0+dfsg-2build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (graphics): Monado command-line utility [universe]
  25.0.0+dfsg-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package monado-gui

• jammy (22.04LTS) (graphics): Monado GUI config and debug utility [universe]
  21.0.0~dfsg1-2ubuntu2: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (graphics): Monado GUI config and debug utility [universe]
  21.0.0+git2905.e26a272c1~dfsg1-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (graphics): Monado GUI config and debug utility [universe]
  25.0.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (graphics): Monado GUI config and debug utility [universe]
  25.0.0+dfsg-2build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (graphics): Monado GUI config and debug utility [universe]
  25.0.0+dfsg-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package monado-service

• jammy (22.04LTS) (libs): Monado XR hardware and composition service [universe]
  21.0.0~dfsg1-2ubuntu2: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (libs): Monado XR hardware and composition service [universe]
  21.0.0+git2905.e26a272c1~dfsg1-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (libs): Monado XR hardware and composition service [universe]
  25.0.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (libs): Monado XR hardware and composition service [universe]
  25.0.0+dfsg-2build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (libs): Monado XR hardware and composition service [universe]
  25.0.0+dfsg-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package monajat-applet

• jammy (22.04LTS) (utils): Islamic supplications tray applet [universe]
  4.1-2: all
• noble (24.04LTS) (utils): Islamic supplications tray applet [universe]
  4.1-2: all
• questing (25.10) (utils): Islamic supplications tray applet [universe]
  4.1-3: all
• resolute (26.04LTS) (utils): Islamic supplications tray applet [universe]
  4.1-4: all
• stonking (utils): Islamic supplications tray applet [universe]
  4.1-4: all

Package monajat-data

• jammy (22.04LTS) (utils): Islamic supplications database [universe]
  4.1-2: all
• noble (24.04LTS) (utils): Islamic supplications database [universe]
  4.1-2: all
• questing (25.10) (utils): Islamic supplications database [universe]
  4.1-3: all
• resolute (26.04LTS) (utils): Islamic supplications database [universe]
  4.1-4: all
• stonking (utils): Islamic supplications database [universe]
  4.1-4: all

Package monajat-mod

• jammy (22.04LTS) (utils): Islamic supplications console utility [universe]
  4.1-2: all
• noble (24.04LTS) (utils): Islamic supplications console utility [universe]
  4.1-2: all
• questing (25.10) (utils): Islamic supplications console utility [universe]
  4.1-3: all
• resolute (26.04LTS) (utils): Islamic supplications console utility [universe]
  4.1-4: all
• stonking (utils): Islamic supplications console utility [universe]
  4.1-4: all

Package monajat-screenlet

• jammy (22.04LTS) (utils): Islamic supplications screenlet [universe]
  4.1-2: all
• noble (24.04LTS) (utils): Islamic supplications screenlet [universe]
  4.1-2: all
• questing (25.10) (utils): Islamic supplications screenlet [universe]
  4.1-3: all
• resolute (26.04LTS) (utils): Islamic supplications screenlet [universe]
  4.1-4: all
• stonking (utils): Islamic supplications screenlet [universe]
  4.1-4: all