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]
You have searched for paketit that names contain mona in kaikki jakelut, kaikki osastot, and kaikki arkkitehtuurit. 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.
Tarkat hakutulokset
Paketti mona
- buster (oldoldstable) (science):
theorem prover based on automata
1.4-17-1+b1: amd64 arm64 armhf i386 - bullseye (oldstable) (science):
theorem prover based on automata
1.4-17-2: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - bookworm (stable) (science):
theorem prover based on automata
1.4-18-1+b1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - trixie (testing) (science):
theorem prover based on automata
1.4-18-1+b1: amd64 arm64 armel armhf i386 mips64el ppc64el s390x - sid (unstable) (science):
theorem prover based on automata
1.4-18-1+b1: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x
1.4-18-1 [debports]: alpha hppa ia64 m68k ppc64 sh4 sparc64 x32
Muut hakutulokset
Paketti mona-dbgsym
- sid (unstable) (debug):
debug symbols for mona
1.4-18-1+b1 [debports]: riscv64
1.4-18-1 [debports]: alpha hppa ia64 m68k ppc64 sh4 sparc64 x32
Paketti monado-cli
- bullseye (oldstable) (graphics):
Monado command-line utility
21.0.0~dfsg1-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - trixie (testing) (graphics):
Monado command-line utility
21.0.0+git2905.e26a272c1~dfsg1-2+b3: amd64 arm64 armel armhf i386 mips64el ppc64el s390x - sid (unstable) (graphics):
Monado command-line utility
21.0.0+git2905.e26a272c1~dfsg1-2+b3: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: alpha hppa ppc64 sparc64
21.0.0+git2905.e26a272c1~dfsg1-2 [debports]: ia64
21.0.0~dfsg1-1 [debports]: m68k
Paketti monado-cli-dbgsym
- sid (unstable) (debug):
debug symbols for monado-cli
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: alpha hppa ppc64 sparc64
21.0.0+git2905.e26a272c1~dfsg1-2 [debports]: ia64 riscv64
21.0.0~dfsg1-1 [debports]: m68k
Paketti monado-gui
- bullseye (oldstable) (graphics):
Monado GUI config and debug utility
21.0.0~dfsg1-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - trixie (testing) (graphics):
Monado GUI config and debug utility
21.0.0+git2905.e26a272c1~dfsg1-2+b3: amd64 arm64 armel armhf i386 mips64el ppc64el s390x - sid (unstable) (graphics):
Monado GUI config and debug utility
21.0.0+git2905.e26a272c1~dfsg1-2+b3: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: alpha hppa ppc64 sparc64
21.0.0+git2905.e26a272c1~dfsg1-2 [debports]: ia64
21.0.0~dfsg1-1 [debports]: m68k
Paketti monado-gui-dbgsym
- sid (unstable) (debug):
debug symbols for monado-gui
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: alpha hppa ppc64 sparc64
21.0.0+git2905.e26a272c1~dfsg1-2 [debports]: ia64 riscv64
21.0.0~dfsg1-1 [debports]: m68k
Paketti monado-service
- bullseye (oldstable) (libs):
Monado XR hardware and composition service
21.0.0~dfsg1-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - trixie (testing) (libs):
Monado XR hardware and composition service
21.0.0+git2905.e26a272c1~dfsg1-2+b3: amd64 arm64 armel armhf i386 mips64el ppc64el s390x - sid (unstable) (libs):
Monado XR hardware and composition service
21.0.0+git2905.e26a272c1~dfsg1-2+b3: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: alpha hppa ppc64 sparc64
21.0.0+git2905.e26a272c1~dfsg1-2 [debports]: ia64
21.0.0~dfsg1-1 [debports]: m68k
Paketti monado-service-dbgsym
- sid (unstable) (debug):
debug symbols for monado-service
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: alpha hppa ppc64 sparc64
21.0.0+git2905.e26a272c1~dfsg1-2 [debports]: ia64 riscv64
21.0.0~dfsg1-1 [debports]: m68k
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