[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