ソースパッケージ: 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)
- helper programs for debian/rules
-
- adep:
libreadline-dev
- GNU readline および history ライブラリ - 開発用ファイル
-
- adep:
libncurses5-dev
- パッケージは利用できません
-
- adep:
flex
- 高速な字句解析器生成プログラム
-
- adep:
bison
- YACC 互換なパーサジェネレータ
-
- idep:
texinfo
- オンライン情報および印刷出力のための文書システム
-
- idep:
texi2html
- Texinfo ファイルから HTML への変換プログラム
