[Pkg-haskell-commits] [SCM] Packaging for agda commandline executable branch, pristine-tar, updated. 9d31b54b9958c27645e31846dc428f830b7cf801
Joachim Breitner
mail at joachim-breitner.de
Mon Mar 12 13:33:12 UTC 2012
The following commit has been merged in the pristine-tar branch:
commit 9d31b54b9958c27645e31846dc428f830b7cf801
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Mon Mar 12 14:30:49 2012 +0100
pristine-tar data for agda-bin_2.3.0.1.orig.tar.gz
diff --git a/agda-bin_2.3.0.1.orig.tar.gz.delta b/agda-bin_2.3.0.1.orig.tar.gz.delta
new file mode 100644
index 0000000..29e8a0f
Binary files /dev/null and b/agda-bin_2.3.0.1.orig.tar.gz.delta differ
diff --git a/agda-bin_2.3.0.1.orig.tar.gz.id b/agda-bin_2.3.0.1.orig.tar.gz.id
new file mode 100644
index 0000000..a0688ce
--- /dev/null
+++ b/agda-bin_2.3.0.1.orig.tar.gz.id
@@ -0,0 +1 @@
+7355ad3999241cf7a8ddc8dda80076cfdd110260
--
Packaging for agda commandline executable
More information about the Pkg-haskell-commits
mailing list