hol-light (1:3.1.0+git20260619-2build1) stonking; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 08 Jul 2026 08:55:51 +0200

hol-light (1:3.1.0+git20260619-2) unstable; urgency=medium

  * Team upload
  * Add support for OCaml 5.5

 -- Stéphane Glondu <glondu@debian.org>  Sat, 04 Jul 2026 13:31:48 +0200

hol-light (1:3.1.0+git20260619-1) unstable; urgency=medium

  * Team upload
  * New upstream snapshot
  * Bump Standards-Version to 4.7.4

 -- Stéphane Glondu <glondu@debian.org>  Thu, 02 Jul 2026 15:52:48 +0200

hol-light (1:3.1.0-2) unstable; urgency=medium

  * Team upload
  * Support OCaml 5.4

 -- Stéphane Glondu <glondu@debian.org>  Fri, 26 Dec 2025 22:07:03 +0100

hol-light (1:3.1.0-1) unstable; urgency=medium

  * Team upload
  * New upstream release
  * Switch debian/watch to version 5
  * Bump Standards-Version to 4.7.2
  * Remove Rules-Requires-Root

 -- Stéphane Glondu <glondu@debian.org>  Sat, 20 Dec 2025 03:58:13 +0100

hol-light (1:3.0.0-2) unstable; urgency=medium

  * Team upload.
  * Remove libcoq-bignums on B-D from previous upload.

 -- Bo YU <tsu.yubo@gmail.com>  Sun, 15 Dec 2024 21:49:40 +0800

hol-light (1:3.0.0-1) unstable; urgency=medium

  * Team upload.
  * Enable d/watch
    - Clear some comments on d/watch
  * New upstream version 3.0.0. (Closes: #1073882)
  * Refresh d/patches/*
    - Drop 0004-Fix-build-with-camlp5-8.03.00.patch
    - Drop default-hollight-dir
  * Add libzarith-ocaml-dev and libcoq-bignums on B-D.
  * Use $(MAKE) to build it.
  * No need to install usr/share/hol-light/* explicitly.
  * Update d/copyright
  * Bump std-ver to 4.7.0
  * Add epoch to version number

 -- Bo YU <tsu.yubo@gmail.com>  Tue, 26 Nov 2024 12:34:41 +0800

hol-light (20231021-2) unstable; urgency=medium

  * Team upload
  * Fix build with camlp5 8.03.00

 -- Stéphane Glondu <glondu@debian.org>  Sun, 30 Jun 2024 10:31:46 +0200

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

  * Team upload
  * New upstream snapshot

 -- Stéphane Glondu <glondu@debian.org>  Mon, 23 Oct 2023 15:10:13 +0200

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

  * Team upload
  * Add support for camlp5 8.02
  * Bump Standards-Version to 4.6.2

 -- Stéphane Glondu <glondu@debian.org>  Thu, 07 Sep 2023 03:44:32 +0200

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog hol-light`.
