Paketname | maria |
Beschreibung | reachability analyzer for Algebraic System Nets |
Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
Version | 1.3.5-4 |
Sektion | math |
Priorität | optional |
Installierte Größe | 1232 Byte |
Hängt ab von | libc6 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libncurses5 (>= 5.5-5~), libreadline6 (>= 6.0), libstdc++6 ( |
Empfohlene Pakete | maria-doc, lbt, graphviz |
Paketbetreuer | Debian Science Maintainers |
Quelle | |
Paketgröße | 420844 Byte |
Prüfsumme MD5 | 6638fab1ea26c2c92ad4eb9794bcdb0f |
Prüfsumme SHA1 | 5da7c84e4a65fbc6166ccf62515023d7885130a2 |
Prüfsumme SHA256 | 976879ccf9ff14b189e99419bbff650fab4bad444ed5da615e2be5c8874e24c7 |
Link zum Herunterladen | maria_1.3.5-4_i386.deb |
Ausführliche Beschreibung | role::program, scope::utility, uitoolkit::ncurses
|