DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamehol88
BeschreibungHigher Order Logic, system image
Archiv/RepositoryOffizielles Ubuntu Archiv quantal (universe)
Version2.02.19940316-15
Sektionuniverse/math
Prioritätoptional
Installierte Größe39477 Byte
Hängt ab vonlibc6 (>= 2.15), libgmp10, libreadline6 (>= 6.0), libx11-6
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelle
Paketgröße8637626 Byte
Prüfsumme MD537ad8fcda8352f9767a6de47d9f6fc63
Prüfsumme SHA11344259ab07ebcb1aa28b5da7d6c6a43c17a6b45
Prüfsumme SHA256d7b2efde82fea5f5a06f1d1ee1cfe1ea5db30e1adfb1596a37c0913b8fd79928
Link zum Herunterladenhol88_2.02.19940316-15_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds