Search in specific suite: [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el] [riscv64]
Some results have not been displayed due to the search parameters.
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
- aramo (misc):
theorem prover based on automata
1.4-18-1: amd64 arm64 armhf ppc64el
Other hits
Package monado-cli
- aramo (graphics):
Monado command-line utility
21.0.0~dfsg1-2ubuntu2: amd64 arm64 armhf ppc64el
Package monado-gui
- aramo (graphics):
Monado GUI config and debug utility
21.0.0~dfsg1-2ubuntu2: amd64 arm64 armhf ppc64el
Package monado-service
- aramo (libs):
Monado XR hardware and composition service
21.0.0~dfsg1-2ubuntu2: amd64 arm64 armhf ppc64el
Package monajat-applet
- aramo (utils):
Islamic supplications tray applet
4.1-2: all
Package monajat-data
- aramo (utils):
Islamic supplications database
4.1-2: all
Package monajat-mod
- aramo (utils):
Islamic supplications console utility
4.1-2: all
Package monajat-screenlet
- aramo (utils):
Islamic supplications screenlet
4.1-2: all