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 oneiric (universe)
Version	2.02.19940316-14
Sektion	universe/math
Priorität	optional
Installierte Größe	16576 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	4943958 Byte
Prüfsumme MD5	b3b36fd7c06040d33ca5cd7daf201c4d
Prüfsumme SHA1	b22011eaef6577922163c0e7d8a54fb162953869
Prüfsumme SHA256	dba3ff9b6fd5c54894e04fb86ce9812dcf548e9a7dd8235783f3256818fd0dbf
Link zum Herunterladen	hol88-library_2.02.19940316-14_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds