Paketname | maria-doc |
Beschreibung | documentation of Maria |
Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
Version | 1.3.5-2 |
Sektion | doc |
Priorität | optional |
Installierte Größe | 688 Byte |
Hängt ab von | dpkg (>= 1.15.4) | install-info |
Empfohlene Pakete | maria, info | info-browser | www-browser |
Paketbetreuer | Ralf Treinen |
Quelle | maria |
Paketgröße | 153018 Byte |
Prüfsumme MD5 | c2ed5331006f234a691f0c7902711b7b |
Prüfsumme SHA1 | 86fade88a52f432dcc2744900f8c2196f5299f55 |
Prüfsumme SHA256 | 988a2a34e2834e54aeca3a344a4a86c5601a3367f952a36f774ca30c9c03d9b2 |
Link zum Herunterladen | maria-doc_1.3.5-2_all.deb |
Ausführliche Beschreibung | This package contains the documentation of Maria, a reachability
analyzer for algebraic system nets, both in the formats info and html.
|