cryptominisat (5.11.21+dfsg1-2) unstable; urgency=medium

  * Team upload.
  * Add build-dependency on python3-toml (Closes: #1106423)
  * Fix Team name

 -- Alexandre Detiste <tchet@debian.org>  Sun, 25 May 2025 00:40:49 +0200

cryptominisat (5.11.21+dfsg1-1) unstable; urgency=medium

  * New upstream release.
  * Bump standards-version to 4.7.0.
  * Add patch to fix typos.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 03 May 2024 08:21:56 +0200

cryptominisat (5.11.15+dfsg1-1.1) unstable; urgency=medium

  * Non-maintainer upload.
  * Rename libraries for 64-bit time_t transition.  Closes: #1061910

 -- Michael Hudson-Doyle <mwhudson@debian.org>  Tue, 27 Feb 2024 23:03:48 +0000

cryptominisat (5.11.15+dfsg1-1) unstable; urgency=medium

  * New upstream release.
  * Drop patch for gcc 13 (now unneeded).
  * Bump standards-version to 4.6.2.
  * Fix clean target (Closes: #1044932).

 -- Julien Puydt <jpuydt@debian.org>  Thu, 14 Dec 2023 10:26:35 +0100

cryptominisat (5.11.4+dfsg1-3) unstable; urgency=medium

  * Team upload.
  * Fix FTBFS with GCC 13 (Closes: #1037611)
  * Remove broken symlink (Closes: #1040548)

 -- Scott Talbert <swt@techie.net>  Fri, 14 Jul 2023 16:23:16 -0400

cryptominisat (5.11.4+dfsg1-2) unstable; urgency=medium

  * Team upload.
  * Include cmake files in -dev package (needed for cvc5)

 -- Scott Talbert <swt@techie.net>  Thu, 03 Nov 2022 14:49:01 -0400

cryptominisat (5.11.4+dfsg1-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 28 Oct 2022 19:50:03 +0200

cryptominisat (5.11.2+dfsg1-1) unstable; urgency=medium

  * New upstream release.
  * Bump standards-version to 4.6.1.
  * Drop the spelling errors and manpage patches.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 03 Oct 2022 10:25:26 +0200

cryptominisat (5.8.0+dfsg1-2) unstable; urgency=medium

  * Try to make the build reproducible (Closes: #1003993).
  * Bump standards-version to 4.6.0.
  * Document reproducible-build.patch as Debian-specific.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 22 Feb 2022 14:17:45 +0100

cryptominisat (5.8.0+dfsg1-1) unstable; urgency=medium

  * Add patch for reproducible builds. (Closes: #960388)
  * New upstream release.
  * Bump dh-compat to 13.
  * Update d/copyright.
  * Add patch fixing typos.
  * Add patch fixing manpages.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 11 Jul 2020 12:11:26 +0200

# For older changelog entries, run 'apt-get changelog python3-cryptominisat'
