rock-master-18.09-gui-map2d (0.20130831-1~stretch) unstable; urgency=low

  * Package automatically built using autoproj-package debian
  * repository: github:/rock-gui/gui-map2d.git
  * branch: refs/heads/master
  * commit: 7133310b939bd8c79113c9413d6fab3aaca9517d
  * tag: 

 -- Packaging Daemon <rock-dev@dfki.de>  Wed, 17 Oct 2018 14:49:58 +0200
