Ubuntu
gecode package

Change logs for gecode source package in Disco

  1. Disco (19.04)
  2. Change log 
  • gecode (6.1.0-2) unstable; urgency=medium

  * Backport upstream patch to skip failing tests. (Closes: #912969)

 -- Kari Pahula <email address hidden>  Sat, 12 Jan 2019 22:58:51 +0200
  • gecode (6.1.0-1) unstable; urgency=medium

  * New upstream release (soname 48)

 -- Kari Pahula <email address hidden>  Sat, 20 Oct 2018 15:43:45 +0300
  • 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