[Pkg-haskell-commits] [agda] 02/02: Update & finalise changelog

[Colin Watson]

This is an automated email from the git hooks/post-receive script.

cjwatson pushed a commit to branch master
in repository agda.

commit f7b96eedbde150a831d4014c0ca84841f9613ae0
Author: Colin Watson <cjwatson at debian.org>
Date:   Mon Aug 11 11:56:12 2014 +0100

    Update & finalise changelog
    
    Git-Dch: Ignore
---
 debian/changelog | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 86ce7f0..0c30168 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+agda (2.4.0.2-2) unstable; urgency=medium
+
+  * [e33e7a9] Pregenerate the Primitive.agdai interface file in
+    libghc-agda-dev, since agda users typically can't write to that
+    directory.  Fixes agda-stdlib build.
+
+ -- Colin Watson <cjwatson at debian.org>  Mon, 11 Aug 2014 11:55:48 +0100
+
 agda (2.4.0.2-1) unstable; urgency=medium
 
   * [6e140ac] Imported Upstream version 2.4.0.2

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/agda.git