[Pkg-haskell-commits] [SCM] Packaging for Agda branch, pristine-tar, updated. ba87f34ae65178011792807d5a0bbf04cf658e2c
Iain Lane
laney at ubuntu.com
Sun Jan 17 23:27:20 UTC 2010
The following commit has been merged in the pristine-tar branch:
commit ba87f34ae65178011792807d5a0bbf04cf658e2c
Author: Iain Lane <laney at ubuntu.com>
Date: Sun Jan 17 23:26:58 2010 +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..6635e06
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..ff8ab66
--- /dev/null
+++ b/agda_2.2.6.orig.tar.gz.id
@@ -0,0 +1 @@
+57ed58e29ec6e9299da992a75d25ffa3ca998d2f
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list