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-help
Beschreibung	Higher Order Logic, online help files
Archiv/Repository	Offizielles Debian Archiv wheezy (main)
Version	2.02.19940316-15
Sektion	math
Priorität	optional
Installierte Größe	905 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Camm Maguire
Quelle	hol88
Paketgröße	322926 Byte
Prüfsumme MD5	9f3ece74334e216c4ee0152a9682e4d0
Prüfsumme SHA1	5b325f87a6cd0ec4393e9fa93f17130811615131
Prüfsumme SHA256	184590cd8a84126eff6905d4ed180d90b6e54212179220fae8e70e3f363267cc
Link zum Herunterladen	hol88-help_2.02.19940316-15_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds