[gringo] 01/01: pristine-tar data for gringo_5.1.0.orig.tar.gz

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch pristine-tar
in repository gringo.

commit 5489e87818dd32c964e3db81d1e92dab4a232711
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Dec 9 07:46:48 2016 +0100

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

diff --git a/gringo_5.1.0.orig.tar.gz.delta b/gringo_5.1.0.orig.tar.gz.delta
new file mode 100644
index 0000000..1f424c2
Binary files /dev/null and b/gringo_5.1.0.orig.tar.gz.delta differ
diff --git a/gringo_5.1.0.orig.tar.gz.id b/gringo_5.1.0.orig.tar.gz.id
new file mode 100644
index 0000000..5556b2a
--- /dev/null
+++ b/gringo_5.1.0.orig.tar.gz.id
@@ -0,0 +1 @@
+be868341e22ec8e70496464b748ee397704a0363

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