[Pkg-haskell-commits] [SCM] Packaging for Agda branch, pristine-tar, updated. 8dc308a5e6e13c8aaf6f649c3d97212918299b54
Iain Lane
laney at ubuntu.com
Tue Jan 5 23:44:55 UTC 2010
The following commit has been merged in the pristine-tar branch:
commit 8dc308a5e6e13c8aaf6f649c3d97212918299b54
Author: Iain Lane <laney at ubuntu.com>
Date: Sat Dec 26 22:53:40 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 5f1d5af..5b0253f 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 75660b5..ff8ab66 100644
--- a/agda_2.2.6.orig.tar.gz.id
+++ b/agda_2.2.6.orig.tar.gz.id
@@ -1 +1 @@
-ce97f67549b33e3d7d42c59f26eb710a23d07a3e
+57ed58e29ec6e9299da992a75d25ffa3ca998d2f
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list