[Pkg-haskell-commits] [agda] 02/02: Update & finalise changelog
Colin Watson
cjwatson at moszumanska.debian.org
Mon Aug 11 11:23:31 UTC 2014
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
More information about the Pkg-haskell-commits
mailing list