(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 [email protected] 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
