all options
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Source Package: hol-light (20190729-4)

Links for hol-light

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
hol-light
HOL Light theorem prover

Other Packages Related to hol-light

  • build-depends
  • build-depends-indep

Download hol-light

FileSize (in kB)MD5 checksum
hol-light_20190729-4.dsc 1.7 kB 9a9ef895c981250471c6c524143c7d54
hol-light_20190729.orig.tar.gz 6,796.4 kB 9a8813a63d883e10c5b52c36b93ee9b0
hol-light_20190729-4.debian.tar.xz 10.8 kB 54f705b5981178d7b552fa0588e0bd2c
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/hol-light.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/hol-light