rock-master-20.06-tools-gecode (0.20190410-1~bionic) 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, 04 Sep 2020 22:12:37 +0200
