Пакет-източник: rumur (2023.11.27-1)
Връзки за rumur
Ресурси за Debian:
Отговорник:
Външни препратки:
Следните двоични пакети са компилирани от този пакет-източник:
- rumur
- model checker for the Murphi language
Други пакети, свързани с rumur
- зависимости при компилиране
|
- зависимости при компилиране (архитектурно-независими)
|
-
- adep:
debhelper-compat
(= 12)
- Пакетът не е наличен
-
- 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:
python3
- interactive high-level object-oriented language (default python3 version)
-
- adep:
strace
- System call tracer