[ubuntu/lucid] agda-stdlib 0.3-1ubuntu2 (Accepted)

[Iain Lane]

agda-stdlib (0.3-1ubuntu2) lucid; urgency=low

  * debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
    timeouts on some slow architectures.

Date: Tue, 16 Feb 2010 12:05:13 +0000
Changed-By: Iain Lane <laney at ubuntu.com>
Signed-By: Iain Lane <launchpad at orangesquash.org.uk>
https://launchpad.net/ubuntu/lucid/+source/agda-stdlib/0.3-1ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 16 Feb 2010 12:05:13 +0000
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.3-1ubuntu2
Distribution: lucid
Urgency: low
Maintainer: Iain Lane <laney at ubuntu.com>
Changed-By: Iain Lane <laney at ubuntu.com>
Description: 
 agda-stdlib - a dependently typed programming language - standard library
 agda-stdlib-doc - a dependently typed programming language - documentation
Changes: 
 agda-stdlib (0.3-1ubuntu2) lucid; urgency=low
 .
   * debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
     timeouts on some slow architectures.
Checksums-Sha1: 
 894965458bc45c190f3f3a1bcc8b359045b3b530 1289 agda-stdlib_0.3-1ubuntu2.dsc
 7b1a969188c586e1dc6e1be735c7d1cbf08ffb90 3735 agda-stdlib_0.3-1ubuntu2.diff.gz
Checksums-Sha256: 
 dac31e5689b4acccbaf6fd35b92ea6e803821ba3ff765a02769da67a531eb04a 1289 agda-stdlib_0.3-1ubuntu2.dsc
 505e092c89b6a368885db60d4d8008a3d3787447c58302626a25ec6d1cac6a58 3735 agda-stdlib_0.3-1ubuntu2.diff.gz
Files: 
 52fb94edfad1ca526f7a1e7867d29685 1289 libs extra agda-stdlib_0.3-1ubuntu2.dsc
 38e03faf151fec85c6ee0a5c6e43094b 3735 libs extra agda-stdlib_0.3-1ubuntu2.diff.gz

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

iEYEARECAAYFAkt6ioAACgkQPy0SnCC/zcfNvQCfUSmhXVBJX7YXW/sZTXsjesKI
oaUAn2dGi3gpqDjHvpsgQ/BXufSFk4/7
=yxwS
-----END PGP SIGNATURE-----