hol-light_20120423-1_amd64.changes is NEW
(new) hol-light_20120423-1.debian.tar.gz optional math
(new) hol-light_20120423-1.dsc optional math
(new) hol-light_20120423-1_amd64.deb optional math
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 Flyspec project, which aims at the
formalization of Tom Hales' proof of the Kepler conjecture.
(new) hol-light_20120423.orig.tar.gz optional math
Changes:
hol-light (20120423-1) unstable; urgency=low
.
* Initial release (Closes: #663754)
Override entries for your package:
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 663754
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: