| Paketname | mcrl2 |
| Beschreibung | formal specification language toolset |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 201107.1-1 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 41099 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 | 14676704 Byte |
| Prüfsumme MD5 | a40cfd71046b523737200202ada9be2e |
| Prüfsumme SHA1 | 3d110ea9f35a08aa26239c423586170cc48e26cc |
| Prüfsumme SHA256 | bb83bced035a4747199c205b633787e381256f8e2a9ac248cfb9ba9f3298b7c7 |
| Link zum Herunterladen | mcrl2_201107.1-1_i386.deb |
| Ausführliche Beschreibung | |