|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
maria-doc
maria-doc | documentation of Maria | Priority | |
Section | doc |
Installed size | 609 |
Maintainer | Ralf Treinen <treinen@debian.org> |
Architecture | all |
Version | 1.3.5-1 |
Depends | libc6 (>= 2.3.5-1), libgcc1 (>= 1 |
Suggests | perl-mapscript, python-mapscript, php4-mapscript, cgi-mapserver |
File name | pool/main/m/maria/maria-doc_1.3.5-1_all.deb |
Description | This package contains the documentation of Maria, a reachability analyzer for algebraic system nets, both in the formats info and html. |
|
|