[cvc4] 01/01: Add debian revision to package version in 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 d93b2e3ae66be468982c14067625231d07658945
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Thu Mar 30 15:28:14 2017 +0200

    Add debian revision to package version in debian/changelog
---
 debian/changelog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 24bbb27..f96eed2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-cvc4 (1.5~pre-20170316) UNRELEASED; urgency=medium
+cvc4 (1.5~pre-20170316-1) UNRELEASED; urgency=medium
 
   * Initial release. (Closes: #757048)
 

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