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

[Iain Lane]

The following commit has been merged in the pristine-tar branch:
commit b2c7b03b763066f5b7ce94dc43c67295c77953d0
Author: Iain Lane <laney at debian.org>
Date:   Sun Jun 16 13:07:26 2013 +0100

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

diff --git a/agda_2.3.2.1.orig.tar.gz.delta b/agda_2.3.2.1.orig.tar.gz.delta
new file mode 100644
index 0000000..a7f247f
Binary files /dev/null and b/agda_2.3.2.1.orig.tar.gz.delta differ
diff --git a/agda_2.3.2.1.orig.tar.gz.id b/agda_2.3.2.1.orig.tar.gz.id
new file mode 100644
index 0000000..e06fd90
--- /dev/null
+++ b/agda_2.3.2.1.orig.tar.gz.id
@@ -0,0 +1 @@
+1493a99c013ac2370d4882aa425cbdebd9c127c0

-- 
Packaging for Agda