| Paketname | hol88 |
| Beschreibung | Higher Order Logic, system image |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 2.02.19940316-14 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 51352 Byte |
| Hängt ab von | libc6 (>= 2.11), libgmp3c2, libncurses5 (>= 5.5-5~), libreadline6 (>= 6.0), libx11-6 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 12820836 Byte |
| Prüfsumme MD5 | 16a8a63180fc085aaa8a19b85b7cb1b8 |
| Prüfsumme SHA1 | 61dac755b7b627d40eb713221f28087d326cbc58 |
| Prüfsumme SHA256 | 0d19df3c4eca8f6c343790386bc1e3c2752a58db13261bcd5db3a9df5405d256 |
| Link zum Herunterladen | hol88_2.02.19940316-14_i386.deb |
| Ausführliche Beschreibung | |