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 <[email protected]>
Maintainer: Debian Haskell Group
<[email protected]>
Signed-By: Iain Lane <[email protected]>
https://launchpad.net/ubuntu/lucid/+source/agda/2.2.6-2ubuntu1
-----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
<[email protected]>
Changed-By: Iain Lane <[email protected]>
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-----
--
Lucid-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/lucid-changes
