Quellcode-Paket: maria (1.3.5-4.1)
Links für maria
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- maria
- Erreichbarkeitsanalyse für Netze algebraischer Systeme
- maria-doc
- Dokumentation zu Maria
Andere Pakete mit Bezug zu maria
-
- adep:
debhelper
(>= 7.0)
- Hilfsprogramme für debian/rules
-
- adep:
libreadline-dev
- GNU-Readline- und -History-Bibliotheken, Entwicklungsdateien
-
- adep:
libncurses5-dev
- Übergangspaket für den Wechsel zu libncurses-dev
-
- adep:
flex
- Schneller Generator für Tokenizer (lexical analyzer)
-
- adep:
bison
- YACC-kompatibler Parsergenerator
-
- idep:
texinfo
- Dokumentationssystem für Online-Informationen und Ausdrucke
-
- idep:
texi2html
- Konvertiert Texinfo-Dateien nach HTML