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]
Zoek in alle platforms
Some results have not been displayed due to the search parameters.
You have searched for pakketten that names contain mona in alle suites, alle secties, and platform(s) sparc64. 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.
Exacte resultaten
Pakket mona
- sid (unstable) (science):
theorem prover based on automata
1.4-18-1 [debports]: sparc64
Overige resultaten
Pakket mona-dbgsym
- sid (unstable) (debug):
debug symbols for mona
1.4-18-1 [debports]: sparc64
Pakket monado-cli
- sid (unstable) (graphics):
Monado command-line utility
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
Pakket monado-cli-dbgsym
- sid (unstable) (debug):
debug symbols for monado-cli
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
Pakket monado-gui
- sid (unstable) (graphics):
Monado GUI config and debug utility
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
Pakket monado-gui-dbgsym
- sid (unstable) (debug):
debug symbols for monado-gui
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
Pakket monado-service
- sid (unstable) (libs):
Monado XR hardware and composition service
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
Pakket monado-service-dbgsym
- sid (unstable) (debug):
debug symbols for monado-service
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
Pakket 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
Pakket 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
Pakket 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
Pakket 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