[Pkg-haskell-commits] [SCM] Packaging for Agda branch, pristine-tar, updated. 3e86c21992dff32a2dd07bf0d91c07d7c6916070
Iain Lane
laney at ubuntu.com
Sat Dec 11 16:05:42 UTC 2010
The following commit has been merged in the pristine-tar branch:
commit 3e86c21992dff32a2dd07bf0d91c07d7c6916070
Author: Iain Lane <laney at ubuntu.com>
Date: Sun Dec 5 17:59:11 2010 +0000
pristine-tar data for agda_2.2.8.orig.tar.gz
diff --git a/agda_2.2.8.orig.tar.gz.delta b/agda_2.2.8.orig.tar.gz.delta
new file mode 100644
index 0000000..f52cc29
Binary files /dev/null and b/agda_2.2.8.orig.tar.gz.delta differ
diff --git a/agda_2.2.8.orig.tar.gz.id b/agda_2.2.8.orig.tar.gz.id
new file mode 100644
index 0000000..ab2b140
--- /dev/null
+++ b/agda_2.2.8.orig.tar.gz.id
@@ -0,0 +1 @@
+ec6cfdaaad56d5e55f5ea33e155a7e8662f02dd3
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list