| Paketname | alt-ergo |
| Beschreibung | Automatic theorem prover dedicated to program verification |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 0.94-2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 6169 Byte |
| Hängt ab von | libc6 (>= 2.15), 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 | 2015482 Byte |
| Prüfsumme MD5 | c9a315cb24c7df68068bc962c8475831 |
| Prüfsumme SHA1 | d32def21194bb2d0b39f598c2b108951993f8f0c |
| Prüfsumme SHA256 | 5bd5e86366c85f05fd6e96eb9de392f751b1f1edf29c228ca8d9a6809219e55f |
| Link zum Herunterladen | alt-ergo_0.94-2_i386.deb |
| Ausführliche Beschreibung | |