Ubuntu
minisat2 package

Change logs for minisat2 source package in Bionic

  1. Bionic (18.04)
  2. Change log 
  • minisat2 (1:2.2.1-5build1) bionic; urgency=high

  * No change rebuild to pick up -fPIE compiler default

 -- Balint Reczey <email address hidden>  Tue, 03 Apr 2018 12:34:58 +0000
  • minisat2 (1:2.2.1-5) unstable; urgency=low


  * Fix C++ syntax to enable Clang builds (closes: #756336)
  * Bumped standards version to 3.9.5 (no changes)

 -- Michael Tautschnig <email address hidden>  Wed, 30 Jul 2014 10:38:25 +0100