hol-light 20131026-1 source package in Ubuntu

Changelog

hol-light (20131026-1) unstable; urgency=low


  * new upstream version revision 177 from 2013-10-26
  * use new pa_j and adjust camlp5 dependencies
  * delete executable bit of RichterHilbertAxiomGeometry/Topology.ml 
    during installation

 -- Hendrik Tews <email address hidden>  Sun, 10 Nov 2013 20:37:21 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers on 2013-11-22
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
hol-light_20131026-1.dsc 2.0 KiB 6f4486d1175e1f2922d2f75357ed53e6d26c96d067e554546598f8be5e5c4b36
hol-light_20131026.orig.tar.bz2 3.1 MiB 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888
hol-light_20131026-1.debian.tar.gz 8.3 KiB da68764a28068477ea73bb00cb2f684888a44bd874e99929d7ebb5306c92eca8

Available diffs

No changes file available.

Binary packages built by this source

hol-light: HOL Light theorem prover

 HOL Light is an interactive theorem prover for Higher-Order Logic
 with a very simple logical core running in an OCaml toplevel. HOL
 Light is famous for the verification of floating-point
 arithmetic as well as for the Flyspeck project, which aims at the
 formalization of Tom Hales' proof of the Kepler conjecture.