[cvc4] 01/01: pristine-tar data for cvc4_1.5~pre-20170316.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 77d828b115f102e74b4f7af0a4cd8bf2dd132c4d
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Thu Mar 16 17:15:09 2017 +0100

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

diff --git a/cvc4_1.5~pre-20170316.orig.tar.gz.delta b/cvc4_1.5~pre-20170316.orig.tar.gz.delta
new file mode 100644
index 0000000..b902d0e
Binary files /dev/null and b/cvc4_1.5~pre-20170316.orig.tar.gz.delta differ
diff --git a/cvc4_1.5~pre-20170316.orig.tar.gz.id b/cvc4_1.5~pre-20170316.orig.tar.gz.id
new file mode 100644
index 0000000..7440f95
--- /dev/null
+++ b/cvc4_1.5~pre-20170316.orig.tar.gz.id
@@ -0,0 +1 @@
+59377335872e33052270b1d160e8c821e2a6710b

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