Change log for minizinc-ide package in Ubuntu
1 → 16 of 16 results | First • Previous • Next • Last |
minizinc-ide (2.8.2-1build2) noble; urgency=medium * No-change rebuild for CVE-2024-3094 -- William Grant <email address hidden> Mon, 01 Apr 2024 17:58:37 +1100
Available diffs
- diff from 2.8.2-1build1 to 2.8.2-1build2 (320 bytes)
minizinc-ide (2.8.2-1build1) noble; urgency=medium * No-change rebuild against libqt5core5t64 -- Steve Langasek <email address hidden> Fri, 15 Mar 2024 05:56:18 +0000
Available diffs
- diff from 2.8.2-1 (in Debian) to 2.8.2-1build1 (562 bytes)
Deleted in noble-updates (Reason: superseded by release) |
Superseded in noble-release |
Deleted in noble-proposed (Reason: Moved to noble) |
minizinc-ide (2.8.2-1) unstable; urgency=medium * New upstream release. * Standards-Version 4.6.2 (no changes necessary) -- Kari Pahula <email address hidden> Mon, 01 Jan 2024 14:41:18 +0200
Available diffs
- diff from 2.6.3-1 to 2.8.2-1 (38.0 KiB)
Superseded in noble-release |
Published in mantic-release |
Published in lunar-release |
Obsolete in kinetic-release |
Deleted in kinetic-proposed (Reason: Moved to kinetic) |
minizinc-ide (2.6.3-1) unstable; urgency=medium * New upstream release. * Standards-Version 4.6.1 (no changes necessary) -- Kari Pahula <email address hidden> Sun, 29 May 2022 18:48:06 +0300
Available diffs
- diff from 2.5.3-1 to 2.6.3-1 (113.0 KiB)
Superseded in kinetic-release |
Published in jammy-release |
Obsolete in impish-release |
Obsolete in hirsute-release |
Deleted in hirsute-proposed (Reason: moved to Release) |
minizinc-ide (2.5.3-1) unstable; urgency=medium * New upstream release. -- Kari Pahula <email address hidden> Wed, 09 Dec 2020 20:04:30 +0200
Available diffs
- diff from 2.5.2-1 to 2.5.3-1 (3.1 KiB)
minizinc-ide (2.5.2-1) unstable; urgency=medium * New upstream release. -- Kari Pahula <email address hidden> Sun, 15 Nov 2020 16:27:37 +0200
Available diffs
- diff from 2.5.1-1 to 2.5.2-1 (15.0 KiB)
minizinc-ide (2.5.1-1) unstable; urgency=medium * New upstream release. * Copy CP profiler integration files from https://gitlab.com/minizinc/cp-profiler-integration as a patch. -- Kari Pahula <email address hidden> Thu, 22 Oct 2020 19:32:32 +0300
Available diffs
- diff from 2.4.3-1 to 2.5.1-1 (198.2 KiB)
Superseded in hirsute-release |
Obsolete in groovy-release |
Deleted in groovy-proposed (Reason: moved to Release) |
minizinc-ide (2.4.3-1) unstable; urgency=medium * New upstream release -- Kari Pahula <email address hidden> Thu, 02 Apr 2020 20:18:50 +0300
Available diffs
Superseded in groovy-release |
Published in focal-release |
Deleted in focal-proposed (Reason: moved to Release) |
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
Available diffs
- diff from 2.4.2-2 (in Debian) to 2.4.2-2build1 (367 bytes)
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
Available diffs
- diff from 2.1.7-1 to 2.4.2-2 (127.0 KiB)
- diff from 2.4.2-1 to 2.4.2-2 (675 bytes)
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
Superseded in focal-release |
Obsolete in eoan-release |
Obsolete in disco-release |
Obsolete in cosmic-release |
Published in bionic-release |
Deleted in bionic-proposed (Reason: moved to release) |
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
Available diffs
- diff from 2.0.14-1 to 2.1.7-1 (24.9 KiB)
Superseded in bionic-release |
Obsolete in artful-release |
Obsolete in zesty-release |
Deleted in zesty-proposed (Reason: moved to release) |
minizinc-ide (2.0.14-1) unstable; urgency=medium * New upstream release * Standards-Version 3.9.8 (no changes necessary). * Add patch force-webkitwidgets: Make MiniZincIDE/MiniZincIDE.pro to always use webkitwidgets instead of the missing webenginewidgets. * Add patch no-install-bin: Remove install target from MiniZincIDE/MiniZincIDE.pro to avoid install to /bin. -- Kari Pahula <email address hidden> Mon, 29 Aug 2016 20:00:37 +0300
Available diffs
- diff from 2.0.13-1 to 2.0.14-1 (10.8 KiB)
Superseded in zesty-release |
Obsolete in yakkety-release |
Deleted in yakkety-proposed (Reason: moved to release) |
minizinc-ide (2.0.13-1) unstable; urgency=medium * New upstream release -- Kari Pahula <email address hidden> Thu, 07 Apr 2016 21:19:20 +0300
Available diffs
- diff from 2.0.10-1 to 2.0.13-1 (3.6 KiB)
Superseded in yakkety-release |
Published in xenial-release |
Deleted in xenial-proposed (Reason: moved to release) |
minizinc-ide (2.0.10-1) unstable; urgency=medium * New upstream release -- Kari Pahula <email address hidden> Sat, 02 Jan 2016 21:46:19 +0200
Available diffs
- diff from 2.0.8-1 to 2.0.10-1 (1.4 KiB)
minizinc-ide (2.0.8-1) unstable; urgency=medium * New upstream release * Remove menu file and leave only desktop file. * Change desktop icon size to 128x128. -- Kari Pahula <email address hidden> Sun, 25 Oct 2015 16:33:29 +0200
1 → 16 of 16 results | First • Previous • Next • Last |