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

[Iain Lane]

The following commit has been merged in the pristine-tar branch:
commit 84c5fba2493833a2d566dff2e7aa403f838fb269
Author: Iain Lane <laney at debian.org>
Date:   Wed Nov 23 10:12:58 2011 +0000

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

diff --git a/agda_2.3.0.orig.tar.gz.delta b/agda_2.3.0.orig.tar.gz.delta
new file mode 100644
index 0000000..b8c2a62
Binary files /dev/null and b/agda_2.3.0.orig.tar.gz.delta differ
diff --git a/agda_2.3.0.orig.tar.gz.id b/agda_2.3.0.orig.tar.gz.id
new file mode 100644
index 0000000..772b8da
--- /dev/null
+++ b/agda_2.3.0.orig.tar.gz.id
@@ -0,0 +1 @@
+c0e474664f75c60d71812712cfd2560f1c3f8e83

-- 
Packaging for Agda