Пакет исходного кода: maria (1.3.5-4.2)
Ссылки для maria
Ресурсы Debian:
Сопровождающие:
Внешние ресурсы:
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- maria
- reachability analyzer for Algebraic System Nets
- maria-doc
- documentation of Maria
Другие пакеты, относящиеся к maria
-
- adep:
debhelper
(>= 7.0)
- вспомогательные программы для debian/rules
-
- adep:
libreadline-dev
- GNU readline and history libraries, development files
-
- adep:
libncurses5-dev
- Пакет недоступен
-
- adep:
flex
- fast lexical analyzer generator
-
- adep:
bison
- YACC-compatible parser generator
-
- idep:
texinfo
- Система документирования для представления в сети и вывода на печать
-
- idep:
texi2html
- Convert Texinfo files to HTML
