| 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.
|