| Paketname | alt-ergo |
| Beschreibung | Automatic theorem prover dedicated to program verification |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.94-2 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 6176 Byte |
| Hängt ab von | libatk1.0-0 (>= 1.12.4), libc6 (>= 2.7), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.9.0), libfreetyp |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | |
| Paketgröße | 2019234 Byte |
| Prüfsumme MD5 | 3c3325857d710facadb4735a9162b711 |
| Prüfsumme SHA1 | d408d33647a8852ad642f31a331e7ec7ddca80c1 |
| Prüfsumme SHA256 | 77d74f0f56abab6856d0650c2538db7ea9e99b23c983e443cc7460f2fa256501 |
| Link zum Herunterladen | alt-ergo_0.94-2_i386.deb |
| Ausführliche Beschreibung | |