[Bug 515384] [NEW] Sync agda 2.2.6-2 (universe) from Debian sid (main)

[Ilya Barygin]

Public bug reported:

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/libghc6-agda-dev.install: Install Agda.css, needed
    to generate HTML documentation.

 -- Iain Lane <laney at ubuntu.com>  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://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.

 -- Iain Lane <laney at ubuntu.com>  Tue, 05 Jan 2010 23:43:20 +0000

** Affects: agda (Ubuntu)
     Importance: Undecided
         Status: New

-- 
Sync agda 2.2.6-2 (universe) from Debian sid (main)
https://bugs.launchpad.net/bugs/515384
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs