Ubuntu
hol-light package

hol-light 20230128-1 source package in Ubuntu

Changelog

hol-light (20230128-1) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * New upstream snapshot (Closes: #1002983)

  [ Debian Janitor ]
  * debian/copyright: use spaces rather than tabs to start continuation lines.
  * Use secure URI in Homepage field.
  * Bump debhelper from old 12 to 13.
    + Drop check for DEB_BUILD_OPTIONS containing "nocheck", since debhelper now
      does this.
    + debian/rules: Drop --fail-missing argument to dh_missing, which is now the
      default.
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.
  * Update standards version to 4.6.0, no changes needed.

 -- Stéphane Glondu <email address hidden>  Tue, 31 Jan 2023 12:10:03 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Lunar release universe math

Downloads

File Size SHA-256 Checksum
hol-light_20230128-1.dsc 1.8 KiB 0cb9358d0d06fcf76811fb72b193f450c77f49bbb889c734b435492c1c01998a
hol-light_20230128.orig.tar.gz 7.1 MiB fd392c124679f45560837a7dbbc7d75e691a550bbca7bc90478c0d9876e01d7c
hol-light_20230128-1.debian.tar.xz 10.5 KiB 7d2afacb18ef182c97957ce5a8d5c6d4c502c6f88505d130904c60083e44409c

No changes file available.

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 aimed at the
 formalization of Tom Hales' proof of the Kepler conjecture.