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
Beschreibung	Higher Order Logic, binary library modules
Archiv/Repository	Offizielles Ubuntu Archiv quantal (universe)
Version	2.02.19940316-15
Sektion	universe/math
Priorität	optional
Installierte Größe	8324 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	2049078 Byte
Prüfsumme MD5	edc4d7b6212236b62af458df8d082743
Prüfsumme SHA1	b4e95bf29615d388066061dffba88e40fac8be66
Prüfsumme SHA256	1dd99cabec8977c958bd7d4af166bdf31a08d72611deeaf70dd9653dd7bd357c
Link zum Herunterladen	hol88-library_2.02.19940316-15_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds