Ubuntu
minisat+ package

Change logs for minisat+ source package in Groovy

  1. Groovy (20.10)
  2. Change log 
  • minisat+ (1.0-4build1) 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