Sync agda 2.2.6-2 (universe) from Debian sid (main)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
agda (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned |
Bug Description
Please sync agda 2.2.6-2 (universe) from Debian sid (main)
Changelog entries since current lucid version 2.2.4+dfsg-1:
agda (2.2.6-2) unstable; urgency=low
* debian/control: Set priority to extra per archive overrides
* debian/copyright: Update upstream source to a more generic location
* debian/rules, debian/
to generate HTML documentation.
-- Iain Lane <email address hidden> Sun, 10 Jan 2010 11:29:17 +0000
agda (2.2.6-1) unstable; urgency=low
* New upstream release 2.2.6, for headlines please see:
http://
* 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/
* 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.
-- Iain Lane <email address hidden> Tue, 05 Jan 2010 23:43:20 +0000
Changed in agda (Ubuntu): | |
importance: | Undecided → Wishlist |
status: | New → Confirmed |
[Updating] agda (2.2.4+dfsg-1 [Ubuntu] < 2.2.6-2 [Debian]) ftp.debian. org/debian/> 2.6-2.diff. gz: downloading from http:// ftp.debian. org/debian/> 2.6.orig. tar.gz: downloading from http:// ftp.debian. org/debian/> agda-dev_ 2.2.4+dfsg- 1 [universe]. agda-prof_ 2.2.4+dfsg- 1 [universe]. agda-doc_ 2.2.4+dfsg- 1 [universe]. 2.2.4+dfsg- 1 [universe].
* Trying to add agda...
- <agda_2.2.6-2.dsc: downloading from http://
- <agda_2.
- <agda_2.
I: agda [universe] -> libghc6-
I: agda [universe] -> libghc6-
I: agda [universe] -> haskell-
I: agda [universe] -> agda-mode_