ソースパッケージ: rumur (2020.12.20-1)
rumur に関するリンク
Debian の資源:
メンテナ:
外部の資源:
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- rumur
- model checker for the Murphi language
その他の rumur 関連パッケージ
-
- adep:
debhelper-compat
(= 12)
- パッケージは利用できません
-
- adep:
bison
(>= 3.0)
- YACC 互換なパーサジェネレータ
-
- adep:
cmake
(>= 3.1)
- cross-platform, open-source make system
-
- adep:
flex
(>= 2.5.35)
- 高速な字句解析器生成プログラム
-
- adep:
libfl-dev
- static library for flex (a fast lexical analyzer generator)
-
- adep:
libgmp-dev
- Multiprecision arithmetic library developers tools
-
- adep:
python3
(>= 3.6)
- 対話式の高レベルオブジェクト指向言語 (デフォルト python3 バージョン)
-
- adep:
strace
- System call tracer