Ubuntu

“hol-light” 20130511-1 source package in Ubuntu

Changelog

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:
Sid
Original maintainer:
Debian OCaml Maintainers
Component:
main
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Saucy release on 2013-05-27 universe math

Downloads

File Size MD5 Checksum
hol-light_20130511-1.dsc 2.0 KiB cf5348d9986ae9453f10416d9cdaa28b
hol-light_20130511.orig.tar.gz 3.9 MiB 61965788de94b0144f2cc7bb9674bac2
hol-light_20130511-1.debian.tar.gz 8.3 KiB d78bc9942b25371a848ce00555c0e4ae

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.