Quellcode-Paket: rumur (2020.12.20-1)
Links für rumur
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- rumur
- model checker for the Murphi language
Andere Pakete mit Bezug zu rumur
-
- adep:
debhelper-compat
(= 12)
- Paket nicht verfügbar
-
- adep:
bison
(>= 3.0)
- YACC-kompatibler Parsergenerator
-
- adep:
cmake
(>= 3.1)
- Plattformübergreifendes, quelloffenes Make-System
-
- adep:
flex
(>= 2.5.35)
- Schneller Generator für Tokenizer (lexical analyzer)
-
- adep:
libfl-dev
- Schneller Generator für Tokenizer (lexical analyzer) - statische Bibliothek
-
- adep:
libgmp-dev
- Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge
-
- adep:
python3
(>= 3.6)
- Interaktive objektorientierte Hochsprache (Python3-Standardversion)
-
- adep:
strace
- Programm zur Ablaufverfolgung von Systemaufrufen (»system calls«)
