[cvc4] 01/01: pristine-tar data for cvc4_1.5.orig.tar.gz

[Fabian Wolff]

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

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

commit 159b073703a6b0070283b92f8176277e555153fb
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Jul 11 17:06:20 2017 +0200

    pristine-tar data for cvc4_1.5.orig.tar.gz
---
 cvc4_1.5.orig.tar.gz.delta | Bin 0 -> 213809 bytes
 cvc4_1.5.orig.tar.gz.id    |   1 +
 2 files changed, 1 insertion(+)

diff --git a/cvc4_1.5.orig.tar.gz.delta b/cvc4_1.5.orig.tar.gz.delta
new file mode 100644
index 0000000..fc3bee0
Binary files /dev/null and b/cvc4_1.5.orig.tar.gz.delta differ
diff --git a/cvc4_1.5.orig.tar.gz.id b/cvc4_1.5.orig.tar.gz.id
new file mode 100644
index 0000000..f09ad82
--- /dev/null
+++ b/cvc4_1.5.orig.tar.gz.id
@@ -0,0 +1 @@
+19f0c2bbbc691f51f30f8654487ea83a0c1c0f9e

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