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 Ubuntu Archiv quantal (universe)
Version	20120602-1
Sektion	universe/math
Priorität	optional
Installierte Größe	18813 Byte
Hängt ab von	camlp5, camlp5-8ixs9, ocaml-nox-3.12.1
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	3623392 Byte
Prüfsumme MD5	99f543b30b8a0def76daedd0f05a1d6e
Prüfsumme SHA1	046c86a8d7ac12e4618c9470a70c081d41bd38fa
Prüfsumme SHA256	185dbdef810042321daedc722d68fd2f6574872e4cb6a5057d7d73f3b65befde
Link zum Herunterladen	hol-light_20120602-1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds