[Pkg-haskell-commits] [SCM] Packaging for Agda branch, pristine-tar, updated. 3db7d9baa9e53a768ec688fd9a796e03708f284d
Iain Lane
laney at ubuntu.com
Thu Feb 24 18:30:49 UTC 2011
The following commit has been merged in the pristine-tar branch:
commit 3db7d9baa9e53a768ec688fd9a796e03708f284d
Author: Iain Lane <laney at ubuntu.com>
Date: Tue Feb 22 10:56:00 2011 +0000
pristine-tar data for agda_2.2.10.orig.tar.gz
diff --git a/agda_2.2.10.orig.tar.gz.delta b/agda_2.2.10.orig.tar.gz.delta
new file mode 100644
index 0000000..7c95ada
Binary files /dev/null and b/agda_2.2.10.orig.tar.gz.delta differ
diff --git a/agda_2.2.10.orig.tar.gz.id b/agda_2.2.10.orig.tar.gz.id
new file mode 100644
index 0000000..3d3e011
--- /dev/null
+++ b/agda_2.2.10.orig.tar.gz.id
@@ -0,0 +1 @@
+60c4b8a1f5c12e4ec3b7655b52b22a8cd7c91180
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list