rock-master-20.01-tools-gecode (0.20190410-1~xenial) unstable; urgency=low

  * Package automatically built using 'apaka'
  * repository: github:/Gecode/gecode.git
  * branch: refs/heads/master
  * commit: 2925392ac7a0c8a7b33aaee51721d84725605919
  * tag: release-6.2.0

 -- Rock Packaging Daemon (based on apaka) <rock-dev@dfki.de>  Fri, 24 Apr 2020 21:56:52 +0200
