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 Debian Archiv wheezy (main)
Version	2.02.19940316-15
Sektion	math
Priorität	optional
Installierte Größe	1430 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Camm Maguire
Quelle	hol88
Paketgröße	311078 Byte
Prüfsumme MD5	6dda52ea89015a870ae4e994aaeae97f
Prüfsumme SHA1	de481fc54c423c4838f217dc2ccb507fc712edfc
Prüfsumme SHA256	7c54e36d7ce36e36086f859b1ff79d634989665195e384550480f7f9c9285fb9
Link zum Herunterladen	hol88-library-help_2.02.19940316-15_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds