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

Iain Lane laney at ubuntu.com
Mon Jul 20 16:57:50 UTC 2009


The following commit has been merged in the pristine-tar branch:
commit ffdbfe5650eb71376c7b40e39ce42540a0c3cdac
Author: Iain Lane <laney at ubuntu.com>
Date:   Mon Jul 20 17:20:41 2009 +0100

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

diff --git a/agda_2.2.4.orig.tar.gz.delta b/agda_2.2.4.orig.tar.gz.delta
new file mode 100644
index 0000000..4c1fc01
Binary files /dev/null and b/agda_2.2.4.orig.tar.gz.delta differ
diff --git a/agda_2.2.4.orig.tar.gz.id b/agda_2.2.4.orig.tar.gz.id
new file mode 100644
index 0000000..7938766
--- /dev/null
+++ b/agda_2.2.4.orig.tar.gz.id
@@ -0,0 +1 @@
+2354cf62de5f15ff1e6c89b3cf4801767431dde1

-- 
Packaging for Agda



More information about the Pkg-haskell-commits mailing list