hol-light 20131026-1build1 source package in Ubuntu

Changelog

hol-light (20131026-1build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.
 -- Matthias Klose <email address hidden>   Mon, 23 Dec 2013 16:16:11 +0000

Upload details

Uploaded by:
Matthias Klose on 2013-12-23
Uploaded to:
Trusty
Original maintainer:
Debian OCaml Maintainers
Component:
universe
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Wily release on 2015-05-04 universe math
Vivid release on 2014-10-23 universe math
Utopic release on 2014-04-23 universe math
Trusty release on 2013-12-24 universe math

Downloads

File Size MD5 Checksum
hol-light_20131026.orig.tar.bz2 3.1 MiB cae02c5f4d039426f6769caf9400761f
hol-light_20131026-1build1.debian.tar.gz 8.3 KiB 229ac0f1fbe82fd46e38fd620aeecfb7
hol-light_20131026-1build1.dsc 1.4 KiB ccc5d9285d310da40cae44538c3ecd91

View changes file

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.