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]
Search in all architectures
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 architecture(s) m68k. 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
- sid (unstable) (science):
theorem prover based on automata
1.4-18-1 [debports]: m68k
Other hits
Package mona-dbgsym
- sid (unstable) (debug):
debug symbols for mona
1.4-18-1 [debports]: m68k
Package monado-cli
- sid (unstable) (graphics):
Monado command-line utility
21.0.0~dfsg1-1 [debports]: m68k
Package monado-cli-dbgsym
- sid (unstable) (debug):
debug symbols for monado-cli
21.0.0~dfsg1-1 [debports]: m68k
Package monado-gui
- sid (unstable) (graphics):
Monado GUI config and debug utility
21.0.0~dfsg1-1 [debports]: m68k
Package monado-gui-dbgsym
- sid (unstable) (debug):
debug symbols for monado-gui
21.0.0~dfsg1-1 [debports]: m68k
Package monado-service
- sid (unstable) (libs):
Monado XR hardware and composition service
21.0.0~dfsg1-1 [debports]: m68k
Package monado-service-dbgsym
- sid (unstable) (debug):
debug symbols for monado-service
21.0.0~dfsg1-1 [debports]: m68k
Package monajat-applet
- buster (oldoldstable) (utils):
Islamic supplications tray applet
4.1-2: all - bullseye (oldstable) (utils):
Islamic supplications tray applet
4.1-2: all - bookworm (stable) (utils):
Islamic supplications tray applet
4.1-2: all - trixie (testing) (utils):
Islamic supplications tray applet
4.1-2: all - sid (unstable) (utils):
Islamic supplications tray applet
4.1-2: all
Package monajat-data
- buster (oldoldstable) (utils):
Islamic supplications database
4.1-2: all - bullseye (oldstable) (utils):
Islamic supplications database
4.1-2: all - bookworm (stable) (utils):
Islamic supplications database
4.1-2: all - trixie (testing) (utils):
Islamic supplications database
4.1-2: all - sid (unstable) (utils):
Islamic supplications database
4.1-2: all
Package monajat-mod
- buster (oldoldstable) (utils):
Islamic supplications console utility
4.1-2: all - bullseye (oldstable) (utils):
Islamic supplications console utility
4.1-2: all - bookworm (stable) (utils):
Islamic supplications console utility
4.1-2: all - trixie (testing) (utils):
Islamic supplications console utility
4.1-2: all - sid (unstable) (utils):
Islamic supplications console utility
4.1-2: all
Package monajat-screenlet
- buster (oldoldstable) (utils):
Islamic supplications screenlet
4.1-2: all - bullseye (oldstable) (utils):
Islamic supplications screenlet
4.1-2: all - bookworm (stable) (utils):
Islamic supplications screenlet
4.1-2: all - trixie (testing) (utils):
Islamic supplications screenlet
4.1-2: all - sid (unstable) (utils):
Islamic supplications screenlet
4.1-2: all