[gringo] 01/01: pristine-tar data for gringo_5.2.2.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 ca625d22fc31074e4cc9f008facf8ed85c82724f
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Nov 10 07:11:16 2017 +0100

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

diff --git a/gringo_5.2.2.orig.tar.gz.delta b/gringo_5.2.2.orig.tar.gz.delta
new file mode 100644
index 0000000..ef3f915
Binary files /dev/null and b/gringo_5.2.2.orig.tar.gz.delta differ
diff --git a/gringo_5.2.2.orig.tar.gz.id b/gringo_5.2.2.orig.tar.gz.id
new file mode 100644
index 0000000..965124b
--- /dev/null
+++ b/gringo_5.2.2.orig.tar.gz.id
@@ -0,0 +1 @@
+461a01379e993e37f6f1be5aea046f7a2749d433

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