| Paketname | hol88 |
| Beschreibung | Higher Order Logic, system image |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.02.19940316-15 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 39477 Byte |
| Hängt ab von | libc6 (>= 2.15), libgmp10, libreadline6 (>= 6.0), libx11-6 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 8637626 Byte |
| Prüfsumme MD5 | 37ad8fcda8352f9767a6de47d9f6fc63 |
| Prüfsumme SHA1 | 1344259ab07ebcb1aa28b5da7d6c6a43c17a6b45 |
| Prüfsumme SHA256 | d7b2efde82fea5f5a06f1d1ee1cfe1ea5db30e1adfb1596a37c0913b8fd79928 |
| Link zum Herunterladen | hol88_2.02.19940316-15_i386.deb |
| Ausführliche Beschreibung | |