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 <[email protected]>
Signed-By: Iain Lane <[email protected]>
https://launchpad.net/ubuntu/lucid/+source/agda-stdlib/0.3-1ubuntu2
-----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 <[email protected]>
Changed-By: Iain Lane <[email protected]>
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-----
--
Lucid-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/lucid-changes
