-
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 <email address hidden> 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 <email address hidden> Thu, 05 Apr 2018 22:44:19 +0300
-
gecode (5.1.0-2build1) bionic; urgency=medium
* No-change rebuild for mpfr soname change.
-- Matthias Klose <email address hidden> Wed, 24 Jan 2018 21:22:26 +0000