[cvc4] 03/03: Release for unstable
Fabian Wolff
fw-guest at moszumanska.debian.org
Fri Jul 28 22:47:07 UTC 2017
This is an automated email from the git hooks/post-receive script.
fw-guest pushed a commit to branch master
in repository cvc4.
commit 51f57fe5c256af3b0e13172bd50aaf645af8e6f9
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date: Sat Jul 29 00:32:03 2017 +0200
Release for unstable
---
debian/changelog | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index fd6721e..a64ab3a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,5 @@
-cvc4 (1.5-1) UNRELEASED; urgency=medium
+cvc4 (1.5-1) unstable; urgency=medium
* Initial release. (Closes: #757048)
- -- Fabian Wolff <fabi.wolff at arcor.de> Tue, 11 Jul 2017 17:12:09 +0200
+ -- Fabian Wolff <fabi.wolff at arcor.de> Sat, 29 Jul 2017 00:31:25 +0200
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/cvc4.git
More information about the debian-science-commits
mailing list