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	hol-light
Beschreibung	HOL Light theorem prover
Archiv/Repository	Offizielles Debian Archiv wheezy (main)
Version	20120602-1
Sektion	math
Priorität	optional
Installierte Größe	18947 Byte
Hängt ab von	camlp5, camlp5-8ixs9, ocaml-nox-3.12.1
Empfohlene Pakete
Paketbetreuer	Debian OCaml Maintainers
Quelle
Paketgröße	3763450 Byte
Prüfsumme MD5	ca4f65900c86273f63a1326bce816634
Prüfsumme SHA1	40269cedc33e04a1d5da6b0cedb37f6167c8bb56
Prüfsumme SHA256	66c9566ec0329efcd2042b94548a653711185865180db1708aec4beefd8533ae
Link zum Herunterladen	hol-light_20120602-1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds