Bronpakket: maria (1.3.5-6)
Verwijzigingen voor maria
Debian bronnen:
Beheerders:
Externe bronnen:
De volgende binaire pakketten worden van dit bronpakket gebouwd:
- maria
- reachability analyzer for Algebraic System Nets
- maria-doc
- documentation of Maria
Andere aan maria gerelateerde pakketten
-
- adep:
debhelper-compat
(= 13)
- Pakket niet beschikbaar
-
- adep:
dh-elpa
- Debian helper tools for packaging emacs lisp extensions
-
- adep:
libreadline-dev
- GNU readline and history libraries, development files
-
- adep:
libtinfo6
- shared low-level terminfo library for terminal handling
-
- adep:
libncurses-dev
- developer's libraries for ncurses
-
- adep:
flex
- fast lexical analyzer generator
-
- adep:
bison
- YACC-compatible parser generator
-
- idep:
texinfo
- Documentatiesysteem voor on-line en afgedrukte informatie.
-
- idep:
texi2html
- Convert Texinfo files to HTML
