[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