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ß

Paketname	hol88-contrib-source
Beschreibung	Higher Order Logic, user contributed source
Archiv/Repository	Offizielles Ubuntu Archiv precise (universe)
Version	2.02.19940316-14
Sektion	universe/math
Priorität	optional
Installierte Größe	6892 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	977094 Byte
Prüfsumme MD5	affbb7f3fa1ba114c95760ba3ea925f5
Prüfsumme SHA1	993f97e646eceb92244a283e06d6dc739ef9f55d
Prüfsumme SHA256	9a5b10b025cb64471a057af3abd5ee952f31ae398c88ae9a6564d2526f83f424
Link zum Herunterladen	hol88-contrib-source_2.02.19940316-14_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds