-
Committer:
Bazaar Package Importer
-
Author(s):
Iain Lane
-
Date:
2010-01-05 23:43:20 UTC
-
mfrom:
(1.1.1 upstream)
-
Revision ID:
james.westby@ubuntu.com-20100105234320-6ksc0sdsfhtweknu
Tags: 2.2.6-1
* 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.