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

[Iain Lane]

The following commit has been merged in the pristine-tar branch:
commit a4e3a9a9b144b48cae063d105b20540ba9f470c7
Author: Iain Lane <laney at ubuntu.com>
Date:   Sat Dec 26 22:52:55 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
index dd4bc97..5f1d5af 100644
Binary files a/agda_2.2.6.orig.tar.gz.delta 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
index 3cb6c2d..75660b5 100644
--- a/agda_2.2.6.orig.tar.gz.id
+++ b/agda_2.2.6.orig.tar.gz.id
@@ -1 +1 @@
-6ea388115952329b714e04378a076841cfde81a2
+ce97f67549b33e3d7d42c59f26eb710a23d07a3e

-- 
Packaging for Agda