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

[Joachim Breitner]

The following commit has been merged in the pristine-tar branch:
commit 937bb1a71f39e14a0e1d8288f5fbc6bcbcca896a
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Mar 12 14:11:42 2012 +0100

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

diff --git a/agda_2.3.0.1.orig.tar.gz.delta b/agda_2.3.0.1.orig.tar.gz.delta
new file mode 100644
index 0000000..28efa62
Binary files /dev/null and b/agda_2.3.0.1.orig.tar.gz.delta differ
diff --git a/agda_2.3.0.1.orig.tar.gz.id b/agda_2.3.0.1.orig.tar.gz.id
new file mode 100644
index 0000000..981edcc
--- /dev/null
+++ b/agda_2.3.0.1.orig.tar.gz.id
@@ -0,0 +1 @@
+4c58ec48ea43bde25acb8225cd2e7ce0e9f53fcc

-- 
Packaging for Agda