Quellcode-Paket: maude (2.7-2)
Links für maude
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- maude
- high-performance logical framework
Andere Pakete mit Bezug zu maude
-
- adep:
debhelper
(>= 9)
- Hilfsprogramme für debian/rules
-
- adep:
autotools-dev
- Aktualisierungs-Infrastruktur für die Dateien config.guess und config.sub
-
- adep:
libtecla-dev
- interactive command line editing facilities (development)
-
- adep:
libbdd-dev
- Binary decision-diagram library (development)
-
- adep:
libgmp3-dev
- Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge
-
- adep:
libsigsegv-dev
- Library for handling page faults in a portable way development package
-
- adep:
bison
- YACC-kompatibler Parsergenerator
-
- adep:
flex
(>= 2.5.36)
- Schneller Generator für Tokenizer (lexical analyzer)
-
- adep:
libncurses5-dev
- Übergangspaket für den Wechsel zu libncurses-dev
auch ein virtuelles Paket, bereitgestellt durch
libncurses-dev
