[ubuntu/lucid] agda 2.2.6-3 (Accepted)
Ubuntu Installer
archive at ubuntu.com
Thu Mar 4 14:24:19 GMT 2010
agda (2.2.6-3) unstable; urgency=low
[ Iain Lane ]
* debian/rules, debian/watcher.sh: Add a ticker to the build to prevent
timeouts on some arches. This was taken from the GHC6 source package and
modified a bit to add some rudimentary locking. Previously the build was
timing out on some slow arches (armel, mips*) but does actually make
progress and complete when given enough time
* debian/control:
+ Add field ${haskell:Provides} to -dev and -prof packages in preparation
the upcoming GHC6/haskell-devscripts uploads into unstable
+ Standards-Version bump to 3.8.4, no changes required
[ Marco Túlio Gontijo e Silva ]
* debian/control: Remove unneeded Build-Depends: on libghc6-utf8-
string-*.
* debian/control: Bump version of haskell-devscripts on Build-Depends
to 0.7. Remove versioned Build-Depends: of ghc6* and remove
hscolour and haddock from Build-Depends:.
* debian/control: Split Build-Depends in Buid-Depends-Indep:.
* debian/control: Use all haskell: variables.
* debian/watch: Use format that downloads current version and checks
for new versions.
Date: Thu, 04 Mar 2010 14:16:32 +0000
Changed-By: Iain Lane <launchpad at orangesquash.org.uk>
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-3
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Thu, 04 Mar 2010 14:16:32 +0000
Source: agda
Binary: libghc6-agda-dev, libghc6-agda-prof, haskell-agda-doc, agda-mode
Architecture: source
Version: 2.2.6-3
Distribution: lucid
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <launchpad at orangesquash.org.uk>
Changes:
agda (2.2.6-3) unstable; urgency=low
.
[ Iain Lane ]
* debian/rules, debian/watcher.sh: Add a ticker to the build to prevent
timeouts on some arches. This was taken from the GHC6 source package and
modified a bit to add some rudimentary locking. Previously the build was
timing out on some slow arches (armel, mips*) but does actually make
progress and complete when given enough time
* debian/control:
+ Add field ${haskell:Provides} to -dev and -prof packages in preparation
the upcoming GHC6/haskell-devscripts uploads into unstable
+ Standards-Version bump to 3.8.4, no changes required
.
[ Marco Túlio Gontijo e Silva ]
* debian/control: Remove unneeded Build-Depends: on libghc6-utf8-
string-*.
* debian/control: Bump version of haskell-devscripts on Build-Depends
to 0.7. Remove versioned Build-Depends: of ghc6* and remove
hscolour and haddock from Build-Depends:.
* debian/control: Split Build-Depends in Buid-Depends-Indep:.
* debian/control: Use all haskell: variables.
* debian/watch: Use format that downloads current version and checks
for new versions.
Files:
a463250d2f5704545eedf8cb4baab9b7 5364 haskell extra agda_2.2.6-3.diff.gz
032a7f19a23e422ae606edb4126e6d29 2750 haskell extra agda_2.2.6-3.dsc
More information about the Lucid-changes
mailing list