gecode (6.2.0-6) unstable; urgency=medium * Standards-Version 4.7.0 (no changes necessary) * Run autoupdate and rename AC_HELP_STRING to reduce warnings. (Closes: #978817) * Add gecode/flatzinc/parser.tab.hpp and configure.ac to debian/clean. * Copy parser.tab.hpp as parser.tab.hh during build. * Remove flatzinc package due to incompatibility with current MiniZinc versions. * Fix FTBFS with GCC 14. (Closes: #1074982) -- Kari Pahula Tue, 27 Aug 2024 06:47:35 +0300 gecode (6.2.0-5.1) unstable; urgency=medium * Non-maintainer upload. * Rename libraries for 64-bit time_t transition. Closes: #1062064 -- Steve Langasek Wed, 28 Feb 2024 15:56:55 +0000 gecode (6.2.0-5) unstable; urgency=medium * Revert to dh compat 10 to cope with cdbs and dh_systemd_enable. * Drop obsolete build deps autotools-deb and dh-autoreconf. -- Kari Pahula Sun, 09 Aug 2020 08:34:08 +0300 gecode (6.2.0-4) unstable; urgency=medium * Leave gecode/flatzinc/parser.tab.hpp name as is since the generated file gecode/flatzinc/parser.tab.cpp includes it. (Closes: #966903) * Standards-Version 4.5.0 and dh compat 13. -- Kari Pahula Sat, 08 Aug 2020 19:03:19 +0300 gecode (6.2.0-3) unstable; urgency=medium * Upload to unstable -- Kari Pahula Fri, 10 Jan 2020 13:38:25 +0200 gecode (6.2.0-2) experimental; urgency=medium * Add Breaks and Replaces on minizinc (<< 2.4.1) to properly move /usr/share/minizinc/gecode to flatzinc package (Closes: #947444) * Remove obsolete Breaks on libgecode-dev from flatzinc * Update link to https://minizinc.org/ in flatzinc description * Add shell script /usr/share/minizinc/fzn-gecode-gist and gecode-gist.msc for invoking fzn-gecode with -mode gist. -- Kari Pahula Wed, 01 Jan 2020 12:37:59 +0200 gecode (6.2.0-1) experimental; urgency=medium * New upstream release (soname 49) * Standards-Version 4.4.1 (didn't switch debian/rules to dh yet) * Update examples' Makefile to have .o files before LDFLAGS to satisfy as-needed. * Remove shorter-make-check patch as it's part of upstream now. * Add gecode.msc file from upstream's binary release and mznlib contents to flatzinc package. -- Kari Pahula Mon, 16 Dec 2019 20:31:30 +0200 gecode (6.1.0-2) unstable; urgency=medium * Backport upstream patch to skip failing tests. (Closes: #912969) -- Kari Pahula Sat, 12 Jan 2019 22:58:51 +0200 gecode (6.1.0-1) unstable; urgency=medium * New upstream release (soname 48) -- Kari Pahula Sat, 12 Jan 2019 22:48:37 +0200 gecode (6.0.1-1) unstable; urgency=medium * New upstream release (soname 47) * Pass --enable-cbs to configure flags. * Remove previous 32 bit patch in favor of upstream's own fix. -- Kari Pahula Sat, 02 Jun 2018 10:17:44 +0300 gecode (6.0.0-2) unstable; urgency=medium * Fix FTBFS on 32 bit arches by renaming an overloaded function that clashed on them. -- Kari Pahula Thu, 05 Apr 2018 22:44:19 +0300 gecode (6.0.0-1) unstable; urgency=medium * New upstream release (soname 46) * Standards-Versions 4.1.3 (no changes necessary). * Pass --enable-cppprofiler to configure flags. * Convert upstream changelog to UTF-8 encoding. -- Kari Pahula Mon, 02 Apr 2018 02:14:53 +0300 gecode (5.1.0-2) unstable; urgency=medium * Use Debian's own Boost instead of the one included with Gecode. (Closes: #869696) * Pass --with-host-os=linux to configure to always use host_os=linux. (Closes: #869699) -- Kari Pahula Sat, 29 Jul 2017 15:41:24 +0300 gecode (5.1.0-1) unstable; urgency=medium * New upstream release (soname 44) - fzn-gecode seems to work correctly now. (Closes: #861949) * Standards-Version 4.0.0 (no changes necessary). * Drop patch bison-3-support since upstream updated their build with similar change. * Remove mzn-gecode from flatzinc since mzn-fzn provided by minizinc provides that functionality. * Remove /usr/share/gecode/mznlib from flatzinc since minizinc comes with its own copy of it. * Add symlink /usr/bin/flatzinc to fzn-gecode. * Add recommends on minizinc to flatzinc. -- Kari Pahula Tue, 18 Jul 2017 21:41:42 +0300 gecode (4.4.0-5) unstable; urgency=medium * Fix possible FTBFS with parallel invocation of bison and mv. (Thanks to Adrian Bunk ) (Closes: #863936) -- Kari Pahula Fri, 02 Jun 2017 23:49:43 +0300 gecode (4.4.0-4) unstable; urgency=medium * Fix FTBFS on ppc64el on conversion of long long unsigned int to signed. (Thanks to John Paul Adrian Glaubitz ) (Closes: #858132) * Add Build-Conflicts: libqt4-dev to force Qt5 usage. * Add some lintian overrides for false positives on typo checking. -- Kari Pahula Sun, 19 Mar 2017 10:30:25 +0200 gecode (4.4.0-3) unstable; urgency=medium * Library transition for GCC 5 (Closes: #791042) * Change library package name suffix to 41v5. -- Kari Pahula Sun, 19 Jul 2015 18:32:00 +0300 gecode (4.4.0-2) unstable; urgency=medium * Switch over to Qt5. -- Kari Pahula Thu, 07 May 2015 21:51:44 +0300 gecode (4.4.0-1) unstable; urgency=medium * New upstream release (soname 41) * Standards-Version 3.9.6 (no changes necessary). * Drop patch fix-powerpcspe.patch, as it is included upstream. * Add flex and bison to build deps and patch gecode.m4 to correctly recognize bison 3 and add a required declaration to parser.yxx. * Scrub a doxygen-added copy of jquery from libgecode-doc. It's not used by any of its html files. -- Kari Pahula Fri, 01 May 2015 09:37:57 +0300 gecode (4.2.1-2) unstable; urgency=medium * Fix FTBFS on powerpcspe. (Closes: #730089) * Standards-Version 3.9.5 (no changes necessary). -- Kari Pahula Tue, 16 Sep 2014 20:30:43 +0300 gecode (4.2.1-1) unstable; urgency=low * New upstream release (soname 36) -- Kari Pahula Sat, 09 Nov 2013 19:10:41 +0200 gecode (4.2.0-1) unstable; urgency=low * New upstream release (soname 35) * Bump debhelper compat to 9. -- Kari Pahula Sat, 03 Aug 2013 21:00:55 +0300 gecode (4.0.0-2) unstable; urgency=low * Give make check LD_LIBRARY_PATH=. to make test work without gecode already installed, to fix FTBFS. -- Kari Pahula Sat, 25 May 2013 15:57:32 +0300 gecode (4.0.0-1) unstable; urgency=low * New upstream release (soname 33) * Standards-Version 3.9.4 (no changes necessary). * Compress debs with xz. * Make sure that the hardening flags get passed to gecode's build scripts. * Added build-dep libmpfr-dev. -- Kari Pahula Mon, 20 May 2013 22:01:23 +0300 gecode (3.7.3-1) unstable; urgency=low * New upstream release (soname 32) -- Kari Pahula Sun, 01 Apr 2012 00:16:09 +0300 gecode (3.7.2-1) unstable; urgency=low * New upstream release (soname 31) * Standards-Version 3.9.3 (no changes necessary). * Use cdbs and dh_autoreconf. * Multi-Arch: same. * Remove unused libboost-dev from build deps. -- Kari Pahula Sat, 31 Mar 2012 11:33:21 +0300 gecode (3.7.1-3) unstable; urgency=low * Patch channel constraint posting bug (http://www.gecode.org/pipermail/users/2011-October/003453.html) * Patch sorted constraint seg faults with empty arrays (http://www.gecode.org/pipermail/users/2011-November/003456.html) -- Kari Pahula Thu, 17 Nov 2011 20:17:30 +0200 gecode (3.7.1-2) unstable; urgency=low * Use -O2 on mipsel to avoid FTBFS with getting stuck at building gecode/set/branch/post-view.cpp. -- Kari Pahula Sun, 16 Oct 2011 11:05:58 +0300 gecode (3.7.1-1) unstable; urgency=low * New upstream release (soname 30) -- Kari Pahula Wed, 12 Oct 2011 18:14:44 +0300 gecode (3.7.0-1) unstable; urgency=low * New upstream release (soname 29) * Split off libgecodegist and libgecodedriver to libgecodegist29 package. (Closes: #625757) * Moved flatzinc to its own package and split off libgecodeflatzinc29 to a separate package too. -- Kari Pahula Tue, 06 Sep 2011 23:22:18 +0300 gecode (3.6.0-1) unstable; urgency=low * New upstream release (soname 28) -- Kari Pahula Mon, 08 Aug 2011 00:02:44 +0300 gecode (3.5.0-2) unstable; urgency=low * Merge install target with binary-arch and call dh_prep in both of build-{indep,arch}. (Closes: #625175) * Added more -l flags to the included examples/Makefile and made it gunzip gzipped examples. * Standards-Version 3.9.2 (no changes necessary). -- Kari Pahula Sun, 10 Jul 2011 22:23:09 +0300 gecode (3.5.0-1) unstable; urgency=low * New upstream release (soname 27) * Don't install /usr/include/examples to libgecode-dev -- Kari Pahula Sat, 05 Feb 2011 23:56:22 +0200 gecode (3.4.0-1) unstable; urgency=low * New upstream release * Standards-Version 3.9.1 (no changes necessary). -- Kari Pahula Tue, 27 Jul 2010 21:57:51 +0300 gecode (3.3.1-2) unstable; urgency=low * Add correct pkg-config QtGui calls to examples/Makefile in libgecode-doc. -- Kari Pahula Sat, 01 May 2010 19:58:24 +0300 gecode (3.3.1-1) unstable; urgency=low * New upstream release (soname 22) -- Kari Pahula Sat, 01 May 2010 01:12:01 +0300 gecode (3.3.0-2) unstable; urgency=low * Switch to dpkg-source 3.0 (quilt) format * Use -O2 on ia64 to avoid #568399. * Patch gecode.m4 to not force using -O3. * Add autoconf and automake as a build deps and run autoreconf in debian/rules. -- Kari Pahula Tue, 16 Mar 2010 23:11:28 +0200 gecode (3.3.0-1) unstable; urgency=low * New upstream release (soname 21) -- Kari Pahula Tue, 16 Mar 2010 14:19:41 +0200 gecode (3.2.2-1) unstable; urgency=low * New upstream release (soname 20) * Standards-Version: 3.8.4 (no changes needed) * Disable building static libraries. -- Kari Pahula Sun, 14 Feb 2010 19:03:01 +0200 gecode (3.2.1-1) unstable; urgency=low * New upstream release (soname 19) -- Kari Pahula Tue, 10 Nov 2009 22:02:14 +0200 gecode (3.2.0-1) unstable; urgency=low * New upstream release (soname 18) * Fixed a bashism in debian/rules. (Closes: #535382) * Standards-Version bumped to 3.8.3 (no changes needed). * Dropped the .pc files since upstream no longer provides them and adjusted the examples' Makefile accordingly. * Build and include FlatZinc executable (fz) in libgecode-dev. -- Kari Pahula Sun, 01 Nov 2009 15:52:31 +0200 gecode (3.1.0-1) unstable; urgency=low * New upstream release (soname 17) (Closes: #526675) * Run "make check" instead of test/test. * Build depend on libboost-dev, not libboost1.37-dev. (Closes: #534061) * Standards-Version bumped to 3.8.2 (no changes necessary). * Explicitly add -lgecodedriver to the LDFLAGS in the provided Makefile for examples in libgecode-doc. -- Kari Pahula Sat, 27 Jun 2009 22:29:21 +0300 gecode (3.0.2-1) unstable; urgency=low * New upstream release (soname 16) -- Kari Pahula Fri, 27 Mar 2009 10:40:36 +0200 gecode (3.0.0-2) unstable; urgency=low * Removed the information about BuDDy library from debian/copyright (Gecode no longer includes or uses it). -- Kari Pahula Fri, 20 Mar 2009 13:26:05 +0200 gecode (3.0.0-1) unstable; urgency=low * New upstream release (soname 14) (Closes: #507112) * Fixed build error with GCC 4.4 (Closes: #505081) * Dropped the number from the libgecode*-dev package. * Replaced libboost-serialization-dev with libboost1.37-dev as a Build-Dep. * Recognize parallel=n build option (Closes: #484101) * Enable running test suite on s390. * Standards-Version 3.8.1. * Enable building the Gecode Interactive Search Tool. * Build-Depends: libqt4-dev, Build-Conflicts: qt3-dev-tools. * Build float variable library (--enable-float-vars). -- Kari Pahula Wed, 18 Mar 2009 23:59:42 +0200 gecode (2.1.1-1) unstable; urgency=low * New upstream release -- Kari Pahula Wed, 19 Mar 2008 00:25:23 +0200 gecode (2.1.0-1) unstable; urgency=low * New upstream release * Improved the examples' Makefile. -- Kari Pahula Mon, 03 Mar 2008 07:03:35 +0200 gecode (2.0.1-1) unstable; urgency=low * New upstream release -- Kari Pahula Fri, 15 Feb 2008 18:36:50 +0200 gecode (2.0.0-1) unstable; urgency=low * New upstream release * Various small fixes to make the policy and lintian happy. * Provided a Makefile to compile the examples. -- Kari Pahula Wed, 09 Jan 2008 19:51:02 +0200 gecode (1.3.1-1) unstable; urgency=low * New upstream release * Added a default value for prop_bnd in int/distinct.hh to maintain API compatibility. -- Kari Pahula Thu, 26 Oct 2006 11:22:28 +0300 gecode (1.3.0-1) unstable; urgency=low * New upstream release * Check for DEB_BUILD_GNU_TYPE when testing whether to run the test suite, not DEB_HOST_GNU_TYPE -- Kari Pahula Wed, 20 Sep 2006 08:22:37 +0300 gecode (1.2.2-1) unstable; urgency=low * New upstream release * Use -E instead of -e with grep in the host arch check regexp in debian/rules (oops) * libgecode6-dev: Provides and Conflicts libgecode-dev -- Kari Pahula Wed, 26 Jul 2006 06:21:09 +0300 gecode (1.2.0-1) unstable; urgency=low * New upstream release - Detects GNU/kFreeBSD correctly now (Closes: #370470) * Disabled running test on s390 too (Closes: #370466) * Moved doxygen and graphviz to Build-Depends-Indep again and tested it too. * Put all libraries to single libgecode4 package. -- Kari Pahula Mon, 26 Jun 2006 14:06:15 +0300 gecode (1.1.0-2) unstable; urgency=low * Moved doxygen from Build-Depends-Indep to Build-Depends (Closes: #370415) -- Kari Pahula Mon, 5 Jun 2006 11:12:21 +0300 gecode (1.1.0-1) unstable; urgency=low * New upstream release - Upstream removed the parallel stuff themselves, no need to repackage orig.tar.gz anymore * Disable running test on arm and m68k architectures. * Policy version 3.6.2 -> 3.7.2 (no changes necessary) -- Kari Pahula Fri, 5 May 2006 20:56:06 +0300 gecode (1.0.1.dfsg.1-1) unstable; urgency=low * New upstream release * Added make test and test/test to the build debian/rules target. * Build static libraries for -dev package. * Removed parallel.hh and parallel/ due to unclear license from the orig.tar.gz tarball. -- Kari Pahula Sun, 26 Mar 2006 21:23:38 +0300 gecode (1.0.0.dfsg.1-2) unstable; urgency=low * Properly separate targets to -arch and -indep in debian/rules (Closes: #345332) -- Kari Pahula Mon, 2 Jan 2006 10:59:11 +0200 gecode (1.0.0.dfsg.1-1) unstable; urgency=low * Initial release Closes: #343940 * Set sonames for libraries, use major version 0 for now * Repackaged orig.tar.gz because of missing contribs/map/LICENSE -- Kari Pahula Sat, 24 Dec 2005 07:51:25 +0200