Debian
cryptominisat package

Change log for cryptominisat package in Debian

1 → 12 of 12 results First • Previous • Next • Last
Published in sid-release 
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 <email address hidden>  Fri, 03 May 2024 08:21:56 +0200
Superseded in sid-release 
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 <email address hidden>  Tue, 27 Feb 2024 23:03:48 +0000
Deleted in experimental-release (Reason: None provided.) 
cryptominisat (5.11.15+dfsg1-1.1~exp1) experimental; urgency=medium

  * Non-maintainer upload.
  * Rename libraries for 64-bit time_t transition.

 -- Michael Hudson-Doyle <email address hidden>  Tue, 30 Jan 2024 09:57:18 +0000
Superseded in sid-release 
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 <email address hidden>  Thu, 14 Dec 2023 10:26:35 +0100

Available diffs

Superseded in sid-release 
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 <email address hidden>  Fri, 14 Jul 2023 16:23:16 -0400
Published in bookworm-release
Superseded in sid-release 
cryptominisat (5.11.4+dfsg1-2) unstable; urgency=medium

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

 -- Scott Talbert <email address hidden>  Thu, 03 Nov 2022 14:49:01 -0400

Available diffs

Superseded in sid-release 
cryptominisat (5.11.4+dfsg1-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Fri, 28 Oct 2022 19:50:03 +0200
Superseded in sid-release 
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 <email address hidden>  Mon, 03 Oct 2022 10:25:26 +0200
Superseded in sid-release 
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 <email address hidden>  Tue, 22 Feb 2022 14:17:45 +0100
Published in bullseye-release
Superseded in sid-release 
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 <email address hidden>  Sat, 11 Jul 2020 12:11:26 +0200

Available diffs

Superseded in sid-release 
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 <email address hidden>  Fri, 08 May 2020 10:55:25 +0200
Deleted in buster-release (Reason: None provided.)
Superseded in sid-release 
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 <email address hidden>  Tue, 28 Aug 2018 20:21:40 -0700
1 → 12 of 12 results First • Previous • Next • Last