| Paketname | maria-doc |
| Beschreibung | documentation of Maria |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 1.3.5-2 |
| Sektion | universe/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 | Ubuntu Developers |
| Quelle | maria |
| Paketgröße | 152056 Byte |
| Prüfsumme MD5 | 8f0cba288053c11b79f5f364ba4085b9 |
| Prüfsumme SHA1 | 94baf2353e6d2cfc13165cb9a9cb2509a402140b |
| Prüfsumme SHA256 | f0f61e69bb78d2c74d2a485fe58d6d449d2848b685605bc5ee008c159dfab071 |
| 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.
|