cryptominisat (5.6.4+dfsg.1-1ubuntu2) focal; urgency=medium

  * No-change rebuild to build with python3.8.

 -- Matthias Klose <doko@ubuntu.com>  Sat, 25 Jan 2020 04:30:53 +0000

cryptominisat (5.6.4+dfsg.1-1ubuntu1) disco; urgency=medium

  * Build against default boost.

 -- Dimitri John Ledkov <xnox@ubuntu.com>  Tue, 13 Nov 2018 17:03:39 +0000

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
