Debian Patches

Status for minisat2/1:2.2.1-8

Patch Description Author Forwarded Bugs Origin Last update
memory_limit <short summary of the patch> TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
minisat2 (1:2.2.1-4) unstable; urgency=low
.
* Require a non-zero memory limit (closes: #716229)
* Bumped standards version to 3.9.4 (no changes)
* Bumped compatibility level to 9
Michael Tautschnig <mt@debian.org> no debian
clang_build Fix C++ syntax to ensure build using Clang works Using the patch I earlier applied in FShell
https://github.com/tautschnig/fshell/commit/7a2169aa7dc4719ae3df6a59555a32692696f74f
as it seemed simpler than the proposed patch in #756336
.
minisat2 (1:2.2.1-5) unstable; urgency=low
.
* Fix C++ syntax to enable Clang builds (closes: #756336)
Michael Tautschnig <mt@debian.org> no debian
fix-crossbuild Make sure all install dependencies are built by all Required to enable cross build
.
minisat2 (1:2.2.1-7) unstable; urgency=low
.
* Fix FTCBFS: Build all required parts via dh_auto_build: thanks Helmut
Grohne <helmut@subdivi.de> for the patch (closes: #1064366)
Michael Tautschnig <mt@debian.org> no debian

All known versions for source package 'minisat2'

Links