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