Пакет-източник: rumur (2024.05.07-1)
Връзки за rumur
Ресурси за Debian:
Отговорник:
Външни препратки:
Следните двоични пакети са компилирани от този пакет-източник:
- rumur
- model checker for the Murphi language
Други пакети, свързани с rumur
- зависимости при компилиране
|
- зависимости при компилиране (архитектурно-независими)
|
-
- adep:
debhelper-compat
(= 13)
- Пакетът не е наличен
-
- 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:
strace
- System call tracer
-
- adep:
z3
- theorem prover from Microsoft Research