Hiya,I've just updated agda and agda-bin to the new upstream releases. Please consider sponsoring. For agda, I have updated the 50agda.el file that is shipped to make the emacs mode work based on some feedback from upstream. It looks fine to me, but more eyes would be nice as I don't really know what I'm doing there.
A standard library package will follow shortly now that agda supports relocatable agdai files. This really isn't a Haskell package, but fits in with these which the team already maintains. Should I have the packages DHG-maintained or just by myself (considering that they won't share anything with the Haskell libraries and applications)? I could have them under pkg-haskell on Alioth but set the Maintainer: as myself.
Thanks, Iain ----- Forwarded message from Iain Lane <laney@ubuntu.com> -----
Date: Tue, 05 Jan 2010 23:55:04 +0000
From: Iain Lane <laney@ubuntu.com>
To: pkg-haskell-commits@lists.alioth.debian.org
Subject: [Pkg-haskell-commits] [SCM] Packaging for Agda branch, master,
updated. debian/2.2.4+dfsg-1-10-ga1592fb
List-Id: cvs commits <pkg-haskell-commits.lists.alioth.debian.org>
The following commit has been merged in the master branch:
commit a1592fb290e43947e6360721e5bb2dc5c8a43a43
Author: Iain Lane <laney@ubuntu.com>
Date: Tue Jan 5 23:54:39 2010 +0000
Tag for release
diff --git a/debian/changelog b/debian/changelog
index 2c4a4c4..ccbb24f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-agda (2.2.6-1) UNRELEASED; urgency=low
+agda (2.2.6-1) unstable; urgency=low
* New upstream release 2.2.6, for headlines please see:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6
--
Packaging for Agda
_______________________________________________
Pkg-haskell-commits mailing list
Pkg-haskell-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-haskell-commits
----- End forwarded message -----
Attachment:
signature.asc
Description: Digital signature