Paketname | mcrl2 |
Beschreibung | formal specification language toolset |
Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
Version | 201202.0-2+b1 |
Sektion | math |
Priorität | extra |
Installierte Größe | 37020 Byte |
Hängt ab von | libboost-regex1.49.0 (>= 1.49.0-1), libboost-signals1.49.0 (>= 1.49.0-1), libc6 (>= 2.3.6-6~), libgc |
Empfohlene Pakete | |
Paketbetreuer | Jeroen Keiren |
Quelle | mcrl2 (201202.0-2) |
Paketgröße | 13049336 Byte |
Prüfsumme MD5 | 3e9af87bd96bbec267ff2beff0f83163 |
Prüfsumme SHA1 | 57162e80776eed9e290a90f1c4301ac2c991cbb5 |
Prüfsumme SHA256 | 5f92aeb9c4df6b0f0d161cca918fb224dac7b339c21204530e70af2f46f7e6a8 |
Link zum Herunterladen | mcrl2_201202.0-2+b1_i386.deb |
Ausführliche Beschreibung | |