* New upstream release 2.2.6, for headlines please see: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6 * debian/control + Bump standards-version to 3.8.3, no changes + Fix Vcs-Git to point to correct URL + Update build-depends for new upstream release + Undo arch/indep split per current pkg-haskell practice + Add Homepage field * debian/copyright: Fix encoding to UTF-8 (thanks Lintian) * debian/README.source: Remove, no repacking so not necessary any more * debian/50agda.el: + Only load file if it exists, prevents a non-intrusive emacs warning where 50agda.el is left on system when package is removed. (Closes: #559197). + Do not load file on XEmacs — agda-mode is not compatible with XEmacs.