About

This package is 2.9 MB. It is available at http://ftp.debian.org/debian/pool/main/h/hol-light/hol-light_20131026-1+b1_amd64.deb .

View its full control file here: debian/control.

Description

HOL Light theorem prover

Relations

This package depends on: camlp5, camlp5-ejbq9, ocaml-nox-4.01.0.

This package does not recommend any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

hol-light 20131026-1+b1 is in debian - jessie / main. This package's architecture is: amd64.

File Mime Type Owner Mode Size
postinst text/x-shellscript N/A N/A 185 bytes
postrm text/x-shellscript N/A N/A 160 bytes
/usr/ root:root 0o755
/var/ root:root 0o755