[ubuntu/lucid] agda 2.2.6-2 (Accepted)

Ubuntu Installer archive at ubuntu.com
Tue Feb 2 21:25:33 GMT 2010


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.

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.

Date: Tue,  02 Feb 2010 21:16:12 +0000
Changed-By: Ilya Barygin <barygin at gmail.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/lucid/+source/agda/2.2.6-2
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Tue,  02 Feb 2010 21:16:12 +0000
Source: agda
Binary: libghc6-agda-dev, libghc6-agda-prof, haskell-agda-doc, agda-mode
Architecture: source
Version: 2.2.6-2
Distribution: lucid
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Ilya Barygin <barygin at gmail.com>
Closes: 559197
Changes: 
 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.
 .
 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.
Files: 
 29b21a1207de05ad15d98c8c270219e1 4333 haskell extra agda_2.2.6-2.diff.gz
 cc27018b9f88185608c63168887b8852 3148 haskell extra agda_2.2.6-2.dsc
 0ce3c91e3a917f2c9b919eed46a530b2 424382 haskell extra agda_2.2.6.orig.tar.gz


More information about the Lucid-changes mailing list