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 paketit that names contain mona in kaikki jakelut, kaikki osastot, and architecture(s) armhf. 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.
Tarkat hakutulokset
Paketti mona
- buster (oldoldstable) (science):
theorem prover based on automata
1.4-17-1+b1: armhf - bullseye (oldstable) (science):
theorem prover based on automata
1.4-17-2: armhf - bookworm (stable) (science):
theorem prover based on automata
1.4-18-1+b1: armhf - trixie (testing) (science):
theorem prover based on automata
1.4-18-1+b1: armhf - sid (unstable) (science):
theorem prover based on automata
1.4-18-1+b1: armhf
Muut hakutulokset
Paketti monado-cli
- bullseye (oldstable) (graphics):
Monado command-line utility
21.0.0~dfsg1-1: armhf - trixie (testing) (graphics):
Monado command-line utility
21.0.0+git2905.e26a272c1~dfsg1-2+b3: armhf - sid (unstable) (graphics):
Monado command-line utility
21.0.0+git2905.e26a272c1~dfsg1-2+b3: armhf
Paketti monado-gui
- bullseye (oldstable) (graphics):
Monado GUI config and debug utility
21.0.0~dfsg1-1: armhf - trixie (testing) (graphics):
Monado GUI config and debug utility
21.0.0+git2905.e26a272c1~dfsg1-2+b3: armhf - sid (unstable) (graphics):
Monado GUI config and debug utility
21.0.0+git2905.e26a272c1~dfsg1-2+b3: armhf
Paketti monado-service
- bullseye (oldstable) (libs):
Monado XR hardware and composition service
21.0.0~dfsg1-1: armhf - trixie (testing) (libs):
Monado XR hardware and composition service
21.0.0+git2905.e26a272c1~dfsg1-2+b3: armhf - sid (unstable) (libs):
Monado XR hardware and composition service
21.0.0+git2905.e26a272c1~dfsg1-2+b3: armhf
Paketti 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
Paketti 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
Paketti 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
Paketti 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