[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