すべてのオプション
bullseye  ] [  bookworm  ] [  sid  ]

ソースパッケージ: rumur (2022.08.20-1)

rumur に関するリンク

Debian の資源:

メンテナ:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
rumur
model checker for the Murphi language

その他の rumur 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)

Download rumur

ファイルサイズ (単位: kB)MD5 チェックサム
rumur_2022.08.20-1.dsc 2.0 kB 0118af51db8cb98e4684e3dc50fa1e76
rumur_2022.08.20.orig.tar.gz 306.4 kB 6b6dbe6944e7c17b52e4b43ece6c9236
rumur_2022.08.20-1.debian.tar.xz 5.3 kB 0e1e7fbcdb5170bf0691610f9a2a4349
Debian パッケージソースリポジトリ (VCS: Git)
https://github.com/Smattr/rumur.git -b packaging/debian
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://github.com/Smattr/rumur.git