minizinc (2.8.7+dfsg1-1) unstable; urgency=medium * New upstream release. -- Kari Pahula Wed, 09 Oct 2024 09:34:44 +0300 minizinc (2.8.6+dfsg1-1) unstable; urgency=medium * New upstream release. * Replace debian/compat file with B-D on debhelper-compat. -- Kari Pahula Fri, 27 Sep 2024 20:04:18 +0300 minizinc (2.8.5+dfsg1-2) unstable; urgency=medium * Add missing build dep zlib1g-dev needed to enable COIN-BC solver support. -- Kari Pahula Tue, 27 Aug 2024 15:44:14 +0300 minizinc (2.8.5+dfsg1-1) unstable; urgency=medium * New upstream release. (Closes: #1079024) * Build a release build. * Standards-Version 4.7.0 (no changes necessary). * Add Breaks on incompatible old (gecode) flatzinc package. -- Kari Pahula Tue, 27 Aug 2024 07:04:43 +0300 minizinc (2.8.3+dfsg1-1) unstable; urgency=medium * New upstream release. * Add coinor-libcbc-dev as a build dep * Add chuffed-flatzinc and gecode-flatzinc (for future use) as alternative flatzinc dependencies * Remove solver_config alternatives patch * Read global Preferences.json from /var/lib/minizinc/ and update it with a dpkg trigger on /usr/share/minizinc/solvers/ * Add postinst script for updating Preferences.json on trigger/install and prerm to remove it on remove * Add jq and python3-demjson (for jsonlint) as deps for use by the maintainer script -- Kari Pahula Fri, 29 Mar 2024 17:59:39 +0200 minizinc (2.8.2+dfsg1-1) unstable; urgency=medium * New upstream release. * Standards-Version 4.6.2 (no changes necessary) * Depend on either Gecode's flatzinc or ortools-flatzinc. * Patch solver_config to try out alternate system-wide default solvers. * Install examples from tests to /usr/share/doc/minizinc/examples/. * Patch source code to not use __DATE__ and __TIME__ to fix incorrect copyright statement and to help reproducible builds. -- Kari Pahula Mon, 01 Jan 2024 14:30:15 +0200 minizinc (2.6.4+dfsg1-1) unstable; urgency=medium * New upstream release. (Closes: #1012997) -- Kari Pahula Sat, 23 Jul 2022 02:30:33 +0300 minizinc (2.6.3+dfsg1-1) unstable; urgency=medium * New upstream release * Standards-Version 4.6.1 (no changes necessary) * Remove unused build deps latexmk, texlive-latex-recommended -- Kari Pahula Sun, 29 May 2022 17:01:59 +0300 minizinc (2.5.3+dfsg1-1) unstable; urgency=medium * New upstream release. -- Kari Pahula Wed, 09 Dec 2020 20:02:58 +0200 minizinc (2.5.2+dfsg1-1) unstable; urgency=medium * New upstream release. * Repackaged source to remove documentation licensed under CC BY-ND. -- Kari Pahula Sun, 15 Nov 2020 16:27:23 +0200 minizinc (2.5.1-1) unstable; urgency=medium * New upstream release. * Remove Bison patches. -- Kari Pahula Thu, 22 Oct 2020 19:25:30 +0300 minizinc (2.4.3-3) unstable; urgency=medium * Symlink parser.tab.hh and regex_parser.tab.hh in build dir root to make Bison 3.7 generated parser.tab.cpp and regex_parser.tab.cpp happy. (Closes: #966905) * Disambiguate file glob in debian/copyright. -- Kari Pahula Sat, 08 Aug 2020 23:13:21 +0300 minizinc (2.4.3-2) unstable; urgency=medium * Protect "Current" in YYLLOC_DEFAULT macro with parentheses in lib/parser.y to build with new Bison (Closes: #960404) * Standards-Version 4.5.0 and dh compat 13 (no changes necessary) -- Kari Pahula Wed, 13 May 2020 12:59:18 +0300 minizinc (2.4.3-1) unstable; urgency=medium * New upstream release -- Kari Pahula Thu, 02 Apr 2020 20:17:27 +0300 minizinc (2.4.2-1) unstable; urgency=medium * New upstream release (Closes: #923525) -- Kari Pahula Fri, 10 Jan 2020 13:53:50 +0200 minizinc (2.4.1-1) experimental; urgency=medium * New upstream release * Standards-Version 4.4.1 - Switch build system to dh * Use USE_GECODE build flag and add libgecode-dev as a build dep * Remove no longer used debian/patches -- Kari Pahula Wed, 01 Jan 2020 12:43:20 +0200 minizinc (2.1.7+dfsg1-1) unstable; urgency=medium * New upstream release * Standards-Version 4.1.3 - Set Priority: optional. -- Kari Pahula Tue, 23 Jan 2018 18:20:32 +0200 minizinc (2.1.5+dfsg1-1) unstable; urgency=medium * New upstream release - Upstream provides now mzn-fzn binary which takes the role of minizinc binary in 1.6 release. (Closes: #830973) * Standards-Version 4.0.0 (no changes necessary). * Add generated files lib/cached/{parser.tab.cpp,lexer.yy.cpp} to debian/clean. * Add debian/watch file. (Closes: #866212) * Rework the patch on CMakeLists.txt to make fewer changes to it and fix more errant files in debian/rules instead. * Stop linking /usr/share/minizinc/gecode to gecode's mznlib directory as the definitons there turn out to not be compatible. * Drop Enhances: flatzinc from minizinc. -- Kari Pahula Tue, 18 Jul 2017 22:46:10 +0300 minizinc (2.0.14+dfsg1-1) unstable; urgency=medium * New upstream release - Include cmath where needed. (Closes: #830457) * Bump standards-version to 3.9.8 (no changes necessary). -- Kari Pahula Sun, 28 Aug 2016 18:44:29 +0300 minizinc (2.0.13+dfsg1-1) unstable; urgency=medium * New upstream release -- Kari Pahula Thu, 07 Apr 2016 21:12:57 +0300 minizinc (2.0.11+dfsg1-1) unstable; urgency=medium * New upstream release -- Kari Pahula Sun, 17 Jan 2016 17:54:50 +0200 minizinc (2.0.10+dfsg1-1) unstable; urgency=medium * New upstream release * Build html documentation. * Build pdf spec documentation and add mklatex and texlive-latex-recommended as build deps. * Add minizinc.doc-base. * Changes to patch install-cleanups to adjust install directories. -- Kari Pahula Sat, 02 Jan 2016 20:44:57 +0200 minizinc (2.0.8+dfsg1-1) unstable; urgency=medium * New upstream release -- Kari Pahula Sun, 25 Oct 2015 11:10:18 +0200 minizinc (2.0.5+dfsg1-1) experimental; urgency=low * Initial release (Closes: #791608) -- Kari Pahula Mon, 03 Aug 2015 10:08:56 +0300