Changelog
gecode (3.0.2-1) unstable; urgency=low
* New upstream release (soname 16)
gecode (3.0.0-2) unstable; urgency=low
* Removed the information about BuDDy library from debian/copyright
(Gecode no longer includes or uses it).
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).
-- Ubuntu Archive Auto-Sync <email address hidden> Wed, 29 Apr 2009 00:11:34 +0100