cvc4 (1.5-1buil1build1) cosmic; urgency=medium

  * No-change rebuild for boost soname change.

 -- Matthias Klose <doko@ubuntu.com>  Tue, 17 Jul 2018 12:54:48 +0000

cvc4 (1.5-1buil1) cosmic; urgency=medium

  * No-change rebuild for libantlr3c soname change.

 -- Matthias Klose <doko@ubuntu.com>  Tue, 26 Jun 2018 10:24:23 +0200

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
