[Pkg-haskell-commits] [SCM] Packaging for agda commandline executable branch, pristine-tar, updated. 9d31b54b9958c27645e31846dc428f830b7cf801

[Joachim Breitner]

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

    pristine-tar data for agda-bin_2.3.0.1.orig.tar.gz

diff --git a/agda-bin_2.3.0.1.orig.tar.gz.delta b/agda-bin_2.3.0.1.orig.tar.gz.delta
new file mode 100644
index 0000000..29e8a0f
Binary files /dev/null and b/agda-bin_2.3.0.1.orig.tar.gz.delta differ
diff --git a/agda-bin_2.3.0.1.orig.tar.gz.id b/agda-bin_2.3.0.1.orig.tar.gz.id
new file mode 100644
index 0000000..a0688ce
--- /dev/null
+++ b/agda-bin_2.3.0.1.orig.tar.gz.id
@@ -0,0 +1 @@
+7355ad3999241cf7a8ddc8dda80076cfdd110260

-- 
Packaging for agda commandline executable