Källkodspaket: rumur (2025.02.02-1)
Länkar för rumur
Debianresurser:
Ansvarig:
Externa resurser:
Följande binärpaket byggs från detta källkodspaket:
- rumur
- model checker for the Murphi language
Andra paket besläktade med rumur
|
- arkitekturoberoende bygg-beroende
|
-
- adep:
debhelper-compat
(= 13)
- Paketet inte tillgängligt
-
- adep:
bison
- YACC-compatible parser generator
-
- adep:
cmake
- cross-platform, open-source make system
-
- adep:
flex
- fast lexical analyzer generator
-
- adep:
libfl-dev
- static library for flex (a fast lexical analyzer generator)
-
- adep:
libgmp-dev
- Multiprecision arithmetic library developers tools
-
- adep:
libxml2-utils
- GNOME XML library - utilities
-
- adep:
python3
- interactive high-level object-oriented language (default python3 version)
-
- adep:
python3-pytest
- Simple, powerful testing in Python3
-
- adep:
strace
- System call tracer
-
- adep:
z3
- theorem prover from Microsoft Research
