[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.2-4
Iain Lane
laney at debian.org
Wed Jun 12 10:52:20 UTC 2013
The following commit has been merged in the master branch:
commit 32ee5f47194d3c4de6e56ff30a8eeef9f73d25a4
Author: Iain Lane <laney at debian.org>
Date: Wed Jun 12 10:44:57 2013 +0100
Update & finalise changelog
Git-Dch: Ignore
diff --git a/debian/changelog b/debian/changelog
index 7965f64..a8f1bbe 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+agda (2.3.2-4) unstable; urgency=low
+
+ * [3d77fff] Build-Depend on ghc-ghci; we require this due to Template
+ Haskell
+
+ -- Iain Lane <laney at debian.org> Wed, 12 Jun 2013 10:44:41 +0100
+
agda (2.3.2-3) unstable; urgency=low
* Clean up build dependencies
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list