Ubuntu
minizinc-ide package

Change logs for minizinc-ide source package in Focal

  1. Focal (20.04)
  2. Change log 
  • minizinc-ide (2.4.2-2build1) focal; urgency=medium

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

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:49:52 +0100
  • minizinc-ide (2.4.2-2) unstable; urgency=medium

  * Fix FTCBFS: Let dh_auto_configure use a cross qmake. (Closes: #949269)

 -- Kari Pahula <email address hidden>  Sun, 19 Jan 2020 11:16:37 +0200
  • minizinc-ide (2.4.2-1) unstable; urgency=medium

  * New upstream release

 -- Kari Pahula <email address hidden>  Fri, 10 Jan 2020 14:38:32 +0200
  • minizinc-ide (2.1.7-1) unstable; urgency=medium

  * New upstream release
  * Standards-Version 4.1.3
    - Set Priority: optional.

 -- Kari Pahula <email address hidden>  Tue, 23 Jan 2018 18:20:59 +0200