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

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

  * New upstream release 5.7.1.
  * Add myself to the packaging.
  * Point Vcs-* fields to salsa.
  * Update deps (Closes: #915605, #954895).
  * Fix typo in description (Closes: #931284).
  * Drop the symbols file (Closes: #913390, #914711).
  * Drop d/compat and use dh-compat 12.
  * Bump std-ver to 4.5.0.
  * Reworked d/copyright.
  * Ship upstream manpages.
  * Add links from versioned executables to unversioned.
  * Update d/copyright's Files-Excluded to new upstream.
  * Improve d/watch.
  * Drop DEB_LDFLAGS_MAINT_APPEND from d/rules: its value
    is now default.
  * Add help2man to b-deps.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 08 May 2020 10:55:25 +0200

cryptominisat (5.6.4+dfsg.1-1) unstable; urgency=low

  * Initial release. Stripped the upstream tarball of parts of the non-free
    docs/ directory. Closes: #905391

 -- Julian Rüth <julian.rueth@fsfe.org>  Tue, 28 Aug 2018 20:21:40 -0700
