| Paketname | alt-ergo |
| Beschreibung | Automatic theorem prover dedicated to program verification |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 0.94-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 6165 Byte |
| Hängt ab von | libc6 (>= 2.11), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.24.0), libgtk2.0-0 (>= 2.24.0), |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 2011942 Byte |
| Prüfsumme MD5 | c1c2cacaff8af5f4fa96dcb430a0da47 |
| Prüfsumme SHA1 | 93c5e0cf6e95e58d0d3ee961ab4d96c49afd5ccd |
| Prüfsumme SHA256 | 753a397da75176951612ce8494c102cfed1558c713346d5f042f0d559ee0e92e |
| Link zum Herunterladen | alt-ergo_0.94-1_i386.deb |
| Ausführliche Beschreibung | |