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 quantal (universe)
Version	2.02.19940316-15
Sektion	universe/math
Priorität	optional
Installierte Größe	1430 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	308362 Byte
Prüfsumme MD5	287822ffe3eab269c0f5cc5a331be0bb
Prüfsumme SHA1	9db5e3b09f7eeb812254e8d00387f91310b019f7
Prüfsumme SHA256	0c5fd2d8b0733ab552dbfe8bd23aded7f5adff057c49368a4045f105cd365305
Link zum Herunterladen	hol88-library-help_2.02.19940316-15_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds