Ubuntu
minisat2 package

Change logs for minisat2 source package in Focal

  1. Focal (20.04)
  2. Change log 
  • minisat2 (1:2.2.1-5build2) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:49:51 +0100
  • 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