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

[Iain Lane]

agda (2.2.6-2ubuntu1) lucid; urgency=low

  * debian/rules, debian/watcher.sh: Add a ticker to the build to prevent
    timeouts on some arches.

Date: Sun, 07 Feb 2010 23:18:03 +0000
Changed-By: Iain Lane <laney at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Signed-By: Iain Lane <launchpad at orangesquash.org.uk>
https://launchpad.net/ubuntu/lucid/+source/agda/2.2.6-2ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 07 Feb 2010 23:18:03 +0000
Source: agda
Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode
Architecture: source
Version: 2.2.6-2ubuntu1
Distribution: lucid
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <laney at ubuntu.com>
Description: 
 agda-mode  - the emacs mode for Agda
 haskell-agda-doc - a dependently typed functional programming language - documentati
 libghc6-agda-dev - a dependently typed functional programming language - development
 libghc6-agda-prof - a dependently typed functional programming language - profiling l
Changes: 
 agda (2.2.6-2ubuntu1) lucid; urgency=low
 .
   * debian/rules, debian/watcher.sh: Add a ticker to the build to prevent
     timeouts on some arches.
Checksums-Sha1: 
 ba7457769eec3d65babae1c066cd62dcfd7cb7c3 3058 agda_2.2.6-2ubuntu1.dsc
 d142c94393ccb90f97a4956517bdbd1a567b23a7 4857 agda_2.2.6-2ubuntu1.diff.gz
Checksums-Sha256: 
 52251d868b6fd5fd1018737e57775e0d479adc80d1bc9eed1fb126de7d486502 3058 agda_2.2.6-2ubuntu1.dsc
 86b686ef4089a0147dcd15f2d9a9fecd2ecb12e39ac3ff249dfe0f4e037ac969 4857 agda_2.2.6-2ubuntu1.diff.gz
Files: 
 308265af19edaf7e24459f11d08ab89b 3058 haskell extra agda_2.2.6-2ubuntu1.dsc
 5cb19c00dd49d317a466d1ab5a252675 4857 haskell extra agda_2.2.6-2ubuntu1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAktvSsAACgkQPy0SnCC/zccx/QCgmq8+MJpO3KyovshCQlzqbYgM
FHEAn0HuDjpGoICKLUnw3KEoUdewzgMH
=DO0F
-----END PGP SIGNATURE-----