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

Iain Lane laney at ubuntu.com
Tue Jan 5 23:44:50 UTC 2010


The following commit has been merged in the pristine-tar branch:
commit 58df58150b5d2e101c6e846fcc93e6aee9552c7b
Author: Iain Lane <laney at ubuntu.com>
Date:   Sat Dec 26 22:36:54 2009 +0000

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

diff --git a/agda_2.2.6.orig.tar.gz.delta b/agda_2.2.6.orig.tar.gz.delta
new file mode 100644
index 0000000..d13868b
Binary files /dev/null and b/agda_2.2.6.orig.tar.gz.delta differ
diff --git a/agda_2.2.6.orig.tar.gz.id b/agda_2.2.6.orig.tar.gz.id
new file mode 100644
index 0000000..507c073
--- /dev/null
+++ b/agda_2.2.6.orig.tar.gz.id
@@ -0,0 +1 @@
+9bad7ad29aab94dd5646785c4ec7805340286ebc

-- 
Packaging for Agda



More information about the Pkg-haskell-commits mailing list