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 Ubuntu Archiv quantal (universe)
Version	2.02.19940316-15
Sektion	universe/math
Priorität	optional
Installierte Größe	905 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	324380 Byte
Prüfsumme MD5	a8bf0a55e5e0515fee5c0be57a3b1e39
Prüfsumme SHA1	912df98f640c573665736b917310787248bf086d
Prüfsumme SHA256	a26ec455c540cfbeccf433b327f8ed24be056d55245eaed7ada2beb73db8f890
Link zum Herunterladen	hol88-help_2.02.19940316-15_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds