| Paketname | alt-ergo |
| Beschreibung | Automatic theorem prover dedicated to program verification |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 0.93-3 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 4124 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.12.0), |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 1481890 Byte |
| Prüfsumme MD5 | 57f94e0a102cc8b98b8c7b47ec40cfa5 |
| Prüfsumme SHA1 | 467fd09785ce314f453ba69d29f82981644de1e9 |
| Prüfsumme SHA256 | a37886d78e8d8dcbe5f1519f457860f5626507ff9821816adbd4190b28f56e59 |
| Link zum Herunterladen | alt-ergo_0.93-3_i386.deb |
| Ausführliche Beschreibung | |