hol-light 20130511-1 source package in Ubuntu


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

  * new upstream version revision 162 from 2013-05-11
  * fix typo in package description (Closes: #680494)
  * set prioity to extra
  * omit new elc file from package
  * adapt copyright info
  * add new patch include-compiler-libs for OCaml 4 compatibility
  * bump to standards version 3.9.4
  * improve debian readme

 -- Hendrik Tews <email address hidden>  Fri, 17 May 2013 13:54:42 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers on 2013-05-27
Uploaded to:
Original maintainer:
Debian OCaml Maintainers
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section


File Size SHA-256 Checksum
hol-light_20130511-1.dsc 2.0 KiB b85b8d8a3f8ff339b6ec486c3223fe2844e2d10ee2a0adfb3fc2d7681e483634
hol-light_20130511.orig.tar.gz 3.9 MiB b94332aafb2fb9b962922ac75f5f78cff6b23e878261cf3d4857600e87e83634
hol-light_20130511-1.debian.tar.gz 8.3 KiB b7da775e0ea6df8662212e53e48c6c55d5f834e5269cfafdbf109302c7032859

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.