hol-light 20170706-0ubuntu4 source package in Ubuntu

Changelog

hol-light (20170706-0ubuntu4) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Oct 2017 21:57:06 +0200

Upload details

Uploaded by:
Gianfranco Costamagna on 2017-10-27
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Eoan release on 2019-04-18 universe math
Disco release on 2018-10-30 universe math
Cosmic release on 2018-05-01 universe math
Bionic release on 2017-11-05 universe math

Downloads

File Size SHA-256 Checksum
hol-light_20170706.orig.tar.gz 5.9 MiB 3c5284b6272600673a0dd4edb74febf0413fb6b02fee53dd73d38c4a039d5175
hol-light_20170706-0ubuntu4.debian.tar.xz 9.5 KiB c535d398e6cc5bab57279a7c62017d476026e2c4a03f85bd9f21bddc37835b6f
hol-light_20170706-0ubuntu4.dsc 2.1 KiB d622f7896645cf93e65f8ea0ae0098834dcdd9cd7fde2733f8def1b8f06ff836

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.