Author: 375gnu
Revision Date: 2015-07-22 17:42:23 UTC

Patch: search for dep_gecode.so in vendorarchdir

Author: 375gnu
Revision Date: 2015-07-22 17:42:23 UTC

Patch: search for dep_gecode.so in vendorarchdir

Author: Cédric Boutillier
Revision Date: 2013-11-26 15:26:33 UTC

* Team upload
* debian/control:
  + remove obsolete DM-Upload-Allowed flag
  + use canonical URI in Vcs-* fields
  + Bump Standards-Version to 3.9.5 (no changes needed)
  + add minimal version 4.0 for libgecode-dev
  + build for all versions supported by gem2deb (currently 1.9.1 and 2.0)
  + improve a little bit the description
  + add a debian/source/patch-header file
* debian/copyright: use DEP5 copyright-format/1.0 official URL
* Port to libgecode >= 4.0 (Closes: #710104)
  - Restart class has been renamed to RBS which needs an Engine (chose DFS)
  - instances of RBS need a Search::Cutoff (arbitraly chose Geometric)
  - variable selection are now functions and need brackets
  - statistics about memory are not available in gecode (by default)

Author: Tollef Fog Heen
Revision Date: 2012-06-10 21:07:26 UTC

Initial release