[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