why3 (1.8.2-3build2) stonking; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 08 Jul 2026 13:37:30 +0200

why3 (1.8.2-3build1) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

 -- Sebastien Bacher <seb128@debian.org>  Sat, 28 Feb 2026 20:45:55 +0100

why3 (1.8.2-3) unstable; urgency=medium

  * Team upload
  * Actually b-d on graphviz-tools, some tools are now split into that
    package.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 06 Jan 2026 10:11:53 +0100

why3 (1.8.2-2) unstable; urgency=medium

  * Team upload
  * Add b-d on graphviz to fix missing ccomps during build (Closes: #1122492)

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sun, 04 Jan 2026 10:00:25 +0100

why3 (1.8.2-1) unstable; urgency=medium

  * New upstream release

 -- Ralf Treinen <treinen@debian.org>  Tue, 23 Sep 2025 22:40:18 +0200

why3 (1.8.1-1) unstable; urgency=medium

  * Team upload
  * New upstream release (Closes: #1098092)

 -- Stéphane Glondu <glondu@debian.org>  Fri, 12 Sep 2025 14:59:57 +0200

why3 (1.8.0-3) experimental; urgency=medium

  * Update home page.
  * Build again the documentation packages.
  * Standards-Version 4.7.2 (no change)

 -- Ralf Treinen <treinen@debian.org>  Sun, 20 Apr 2025 14:13:02 +0200

why3 (1.8.0-2) unstable; urgency=medium

  * Team upload
  * Add Breaks+Replaces to avoid file conflict (Closes: #1093827)

 -- Stéphane Glondu <glondu@debian.org>  Sun, 02 Feb 2025 07:37:18 +0100

why3 (1.8.0-1) unstable; urgency=medium

  * New upstream release.
  * Stop building the documentation packages:
    - debian/control: disable why3-doc-* packages
    - debian/rules: disable override_dh_auto_build-arch
    - debian-rules: disable Build-Depends-Indep
  * Create a symlink from /usr/lib/ocaml/why3 to the why3 library in order
    to work around a bug in why3, which does not properly take into account
    the --libdir option to ./configure.
  * Dependency and Test-Dependency on provers:
    - bump z3 to version << 4.14
    - add cvc5 << 1.3
  * Add an as-installed test with cvc5

 -- Ralf Treinen <treinen@debian.org>  Wed, 22 Jan 2025 21:27:21 +0100

why3 (1.7.2-2) unstable; urgency=medium

  * Team upload
  * Do not hardcode /usr/lib/ocaml
  * Depend on ocaml-native-compilers in tests for now

 -- Stéphane Glondu <glondu@debian.org>  Tue, 13 Aug 2024 01:43:15 +0200

why3 (1.7.2-1) unstable; urgency=medium

  * New upstream release.
  * debian/clean: add doc/.doctrees (closes: #1046969), remove cruft
  * debian/watch: use release tags of INRIA's gitlab
  * debian/rules: update url of external mathjax resources, which are
    replaced by locally installed mathjax.
  * The alt-ergo package is no longer in debian: drop it from Recommends,
    and drop the corresponding as-installed test.
  * Standards-Version 4.7.0 (no change)

 -- Ralf Treinen <treinen@debian.org>  Mon, 12 Aug 2024 11:54:59 +0200

why3 (1.6.0-1) unstable; urgency=medium

  * Team upload
  * New upstream release
  * Depend on ocaml instead of transitional ocaml-nox
  * Bump Standards-Version to 4.6.2

 -- Stéphane Glondu <glondu@debian.org>  Fri, 08 Sep 2023 07:09:51 +0200

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog libwhy3-ocaml-dev`.
