cvc4 (1.5-1) unstable; urgency=medium

  * Initial release. (Closes: #757048)

 -- Fabian Wolff <fabi.wolff@arcor.de>  Sat, 29 Jul 2017 00:31:25 +0200