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 <email@example.com> -----
Date: Tue, 05 Jan 2010 23:55:04 +0000 From: Iain Lane <firstname.lastname@example.org> To: email@example.com 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 <firstname.lastname@example.org> 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 Pkgemail@example.com http://lists.alioth.debian.org/mailman/listinfo/pkg-haskell-commits
----- End forwarded message -----
Description: Digital signature