[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.0-1-5-gae4f061
Joachim Breitner
mail at joachim-breitner.de
Mon Mar 12 13:27:22 UTC 2012
The following commit has been merged in the master branch:
commit ca1f54c55a5347900978c07b616eef6c941096ac
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Mon Mar 12 14:12:29 2012 +0100
New upstream release, GHC-7.4.1 compatible (Closes: #663048)
diff --git a/debian/changelog b/debian/changelog
index 21c3cb6..8c3aa7d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.3.0.1-1) UNRELEASED; urgency=low
+
+ * New upstream release, GHC-7.4.1 compatible (Closes: #663048)
+
+ -- Joachim Breitner <nomeata at debian.org> Mon, 12 Mar 2012 14:11:56 +0100
+
agda (2.3.0-1) unstable; urgency=low
* [c0e4746] Imported Upstream version 2.3.0. New/changed features include:
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list