| Paketname | mcrl2 |
| Beschreibung | formal specification language toolset |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 201107-1 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 43420 Byte |
| Hängt ab von | libboost-regex1.46.1 (>= 1.46.1-1), libboost-signals1.46.1 (>= 1.46.1-1), libc6 (>= 2.11), libgcc1 ( |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 14690278 Byte |
| Prüfsumme MD5 | 19727d9c2315d50af7418c32bef783e7 |
| Prüfsumme SHA1 | bae9f963c3d48577159db3020349eb2468fc738d |
| Prüfsumme SHA256 | cd363e9280bf3435766e37082eda693d9d940c0c85d529ca56685bf81bd9b557 |
| Link zum Herunterladen | mcrl2_201107-1_i386.deb |
| Ausführliche Beschreibung | |