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]
Du har sökt efter paket vars namn innehåller mona i alla sviter, alla sektioner och alla arkitekturer. Hittade 12 paket.
Ditt nyckelord var för allmänt, och på grund av optimeringar kan vissa resultat ha dolts.
Försök använda ett längre, eller flera, nyckelord.
Exakta träffar
Paketet 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
Andra träffar
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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