[ubuntu/maverick] agda 2.2.6-7build1 (Accepted)

[Iain Lane]

agda (2.2.6-7build1) maverick; urgency=low

  * No change rebuild to build against new quickcheck

Date: Wed, 26 May 2010 09:08:19 +0100
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/maverick/+source/agda/2.2.6-7build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 26 May 2010 09:08:19 +0100
Source: agda
Binary: libghc6-agda-dev libghc6-agda-doc agda-mode
Architecture: source
Version: 2.2.6-7build1
Distribution: maverick
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
 libghc6-agda-dev - a dependently typed functional programming language - development
 libghc6-agda-doc - a dependently typed functional programming language - documentati
Changes: 
 agda (2.2.6-7build1) maverick; urgency=low
 .
   * No change rebuild to build against new quickcheck
Checksums-Sha1: 
 afec1a3f8c62f157e0acaf0c489ea2e61d588529 2318 agda_2.2.6-7build1.dsc
 de87df44bb5d85a31f528327c162f7e5957ec15b 5364 agda_2.2.6-7build1.debian.tar.gz
Checksums-Sha256: 
 e38c9353fa450625f09d1988250ebe020756dac9530fce973d8651985114f9d8 2318 agda_2.2.6-7build1.dsc
 d296082f56733774f50c5bfc865f79cd39aab8a0c631857e0dc313106e525fff 5364 agda_2.2.6-7build1.debian.tar.gz
Files: 
 186a36295335706bed3e1529217ccdaa 2318 haskell extra agda_2.2.6-7build1.dsc
 994bf237da9b9d3b634b623373b2efef 5364 haskell extra agda_2.2.6-7build1.debian.tar.gz

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

iEYEARECAAYFAkv81xEACgkQPy0SnCC/zcfgFwCfQ6x7zaO1dPT1VEEsVjyHh/vq
AbgAnRQb2t8Wvr8dzQ1FScQnvqj1OVv3
=iFrc
-----END PGP SIGNATURE-----