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-source
Beschreibung	Higher Order Logic, library source files
Archiv/Repository	Offizielles Debian Archiv wheezy (main)
Version	2.02.19940316-15
Sektion	math
Priorität	optional
Installierte Größe	3630 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Camm Maguire
Quelle	hol88
Paketgröße	567032 Byte
Prüfsumme MD5	b1076240edef3542b928bfd79a43e7b4
Prüfsumme SHA1	158a2d687d350a580aa607dc0ddf622544b5921c
Prüfsumme SHA256	5ae90092b19abceb0f04f99d6e516e0f9f48df9179877d3ecf639a0a338b4912
Link zum Herunterladen	hol88-library-source_2.02.19940316-15_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds