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-library-help
Beschreibung	Higher Order Logic, library online help files
Archiv/Repository	Offizielles Ubuntu Archiv precise (universe)
Version	2.02.19940316-14
Sektion	universe/math
Priorität	optional
Installierte Größe	11444 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	292358 Byte
Prüfsumme MD5	fc5d3474c05f7bb84e3b78bb933ba506
Prüfsumme SHA1	e0b47da019f88f4b937cc947e78fce4d4259ac32
Prüfsumme SHA256	543ac8c02e814627bcf8487dcb32fdb67157b7ac25d4db584dfa1eb8998efbf6
Link zum Herunterladen	hol88-library-help_2.02.19940316-14_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds