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]
すべてのアーキテクチャで検索
検索パラメータの設定によって、一部の結果が非表示になっています。
mona を名前に含むパッケージを、すべてのスイート、すべてのセクション、sparc64 アーキテクチャで検索しました。 12 個の一致するパッケージが見つかりました。
キーワードが一般的すぎるので、最適化上の理由から一部の結果が非表示となっている可能性があります。
もっと長いキーワードを用いるか、キーワードを追加することを検討してください。
完全なヒット
mona パッケージ
- sid (unstable) (science):
オートマトンを基にした定理証明ツール
1.4-18-1 [debports]: sparc64
その他のヒット
mona-dbgsym パッケージ
- sid (unstable) (debug):
debug symbols for mona
1.4-18-1 [debports]: sparc64
monado-cli パッケージ
- sid (unstable) (graphics):
Monado command-line utility
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
monado-cli-dbgsym パッケージ
- sid (unstable) (debug):
debug symbols for monado-cli
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
monado-gui パッケージ
- sid (unstable) (graphics):
Monado GUI config and debug utility
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
monado-gui-dbgsym パッケージ
- sid (unstable) (debug):
debug symbols for monado-gui
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
monado-service パッケージ
- sid (unstable) (libs):
Monado XR hardware and composition service
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
monado-service-dbgsym パッケージ
- sid (unstable) (debug):
debug symbols for monado-service
21.0.0+git2905.e26a272c1~dfsg1-2+b1 [debports]: sparc64
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
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
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
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