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 Debian Archiv wheezy (main)
Version	2.02.19940316-15
Sektion	math
Priorität	optional
Installierte Größe	8371 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Camm Maguire
Quelle	hol88
Paketgröße	2051934 Byte
Prüfsumme MD5	3fd6e01a04efa8f267a8193c7abca35f
Prüfsumme SHA1	871aaaf5a5d2f64136c1388e0194f6ddb5a2d44b
Prüfsumme SHA256	85d55974b00614faf1734ce1717b6661f6ad615816ee276064bc2e816ef717db
Link zum Herunterladen	hol88-library_2.02.19940316-15_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds