rock-master-18.09-gui-control-ui (0.20170918-1~xenial) unstable; urgency=low

  * Package automatically built using autoproj-package debian
  * repository: github:/rock-gui/gui-control_ui.git
  * branch: refs/heads/master
  * commit: 5774fa4f42879a7cc9c06cdef85a3c2cf9a0a0d3
  * tag: 

 -- Packaging Daemon <rock-dev@dfki.de>  Thu, 11 Oct 2018 14:24:26 +0200
