[Pkg-haskell-commits] [SCM] Packaging for Agda branch, pristine-tar, updated. 903273ef9171f6536e34b5b20d54002b0bb07d1f

[Iain Lane]

The following commit has been merged in the pristine-tar branch:
commit 903273ef9171f6536e34b5b20d54002b0bb07d1f
Author: Iain Lane <laney at debian.org>
Date:   Tue Dec 25 14:00:25 2012 +0000

    pristine-tar data for agda_2.3.2.orig.tar.gz

diff --git a/agda_2.3.2.orig.tar.gz.delta b/agda_2.3.2.orig.tar.gz.delta
new file mode 100644
index 0000000..ac8804b
Binary files /dev/null and b/agda_2.3.2.orig.tar.gz.delta differ
diff --git a/agda_2.3.2.orig.tar.gz.id b/agda_2.3.2.orig.tar.gz.id
new file mode 100644
index 0000000..252c671
--- /dev/null
+++ b/agda_2.3.2.orig.tar.gz.id
@@ -0,0 +1 @@
+8343af2ede954fafde05e3e63fb96e5ceaa13bbd

-- 
Packaging for Agda