[cvc4] 04/10: Update debian/changelog

[Fabian Wolff]

This is an automated email from the git hooks/post-receive script.

fw-guest pushed a commit to branch master
in repository cvc4.

commit 519a9bb81ca89277fcd952e3674a3def32e01d35
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Jul 11 17:14:07 2017 +0200

    Update debian/changelog
---
 debian/changelog | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index f96eed2..fd6721e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,5 @@
-cvc4 (1.5~pre-20170316-1) UNRELEASED; urgency=medium
+cvc4 (1.5-1) UNRELEASED; urgency=medium
 
   * Initial release. (Closes: #757048)
 
- -- Fabian Wolff <fabi.wolff at arcor.de>  Thu, 16 Mar 2017 17:18:54 +0100
+ -- Fabian Wolff <fabi.wolff at arcor.de>  Tue, 11 Jul 2017 17:12:09 +0200

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/cvc4.git