| Paketname | mcrl2 |
| Beschreibung | formal specification language toolset |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 201202.0-2 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 41744 Byte |
| Hängt ab von | libboost-regex1.49.0 (>= 1.49.0-1), libboost-signals1.49.0 (>= 1.49.0-1), libc6 (>= 2.4), libgcc1 (> |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 13539510 Byte |
| Prüfsumme MD5 | 5cd34419bdd7638590b0199c65c61e00 |
| Prüfsumme SHA1 | a6eb609a15d23fb1780bbf5c4f0ba8d6ff51044a |
| Prüfsumme SHA256 | 3bf932749bbc9cd627313e3be3aef8ea742465ed46eeafdf50033350304b64a2 |
| Link zum Herunterladen | mcrl2_201202.0-2_i386.deb |
| Ausführliche Beschreibung | |