[ubuntu/oneiric] agda 2.2.10-2build1 (Accepted)

[Iain Lane]

agda (2.2.10-2build1) oneiric; urgency=low

  * No change rebuild against new GHC ABIs

Date: Thu, 09 Jun 2011 09:22:19 +0100
Changed-By: Iain Lane <laney at debian.org>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Signed-By: Iain Lane <iain at orangesquash.org.uk>
https://launchpad.net/ubuntu/oneiric/+source/agda/2.2.10-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 09 Jun 2011 09:22:19 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source
Version: 2.2.10-2build1
Distribution: oneiric
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <laney at debian.org>
Description: 
 agda       - dependently typed functional programming language
 agda-mode  - dependently typed functional programming language — emacs mode
 libghc-agda-dev - dependently typed functional programming language - development l
 libghc-agda-doc - dependently typed functional programming language - documentation
Changes: 
 agda (2.2.10-2build1) oneiric; urgency=low
 .
   * No change rebuild against new GHC ABIs
Checksums-Sha1: 
 ffdbc0a194661ed443d0284248f470ec66d5536d 3148 agda_2.2.10-2build1.dsc
 6130e04b8c20789baaaa3a0bc6a5a976f4a6f428 7697 agda_2.2.10-2build1.debian.tar.gz
Checksums-Sha256: 
 92e49002c89a59e01fbc8ca9813da63c631f795e1d2a8a765de7a0874b8a73df 3148 agda_2.2.10-2build1.dsc
 23de302fbc1923d17ca784ca1a846ddc8132b2009711cd03c36396293511dbdb 7697 agda_2.2.10-2build1.debian.tar.gz
Files: 
 088395ecb33c4e0b3522c425dcf6a196 3148 haskell extra agda_2.2.10-2build1.dsc
 793afccda83f3ad5c27beb537f51a2d7 7697 haskell extra agda_2.2.10-2build1.debian.tar.gz

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

iQIcBAEBCAAGBQJN8IMHAAoJEONS1cUcUEHUN6wQAKdyw3rVEoxUPW4XDf0/8ILz
RY+d7ODcZaxtMXCfHEM5+Y2P1PkDzDxAYkdECApwz6xa9poLTB//UV1upAsvEkv7
CvMstF7k9BvlBzfbAffga+2KQ0kRajFxemE0OS3/QzTCqlgdnpXsi9hJFFPZAjnV
H4xCbzUXtzOI2wglKtW6c58f2lxbilOw9DxeeW9lAli+iJE64Hb9Ng9hhSSw5Y14
uMDh35scjh/8EooHKGB2qC09YpCUeVZmC2UMWAvxbv5ih6WYtcBxs1oM31oeWM0A
mJopo2IL86+mBcmW+nE8CuPDoZUbEYH+SfwjM7p6hIGbRXECsrv/PkprJML32bdx
IwHrkwFn+ivcddaPSqNpMTT4ir0aBrnUGoIeMcEeBZtvZYA1RquAYK7Km51UaTDk
sIpFPHrLfB77o5s+bZiVj1iRh/teyA3geIBDbdGQnNtZNPLI5n/JmxPb19n2UQLp
Jlq4//4KKkmrL0R3tBG5Nu61k5qI8BnY1brlddvjlOsJIy78eDz56biKK66jyZ4O
49a3tCIXdqTncv0TP97PZHqvp/eVy1tonFRJVY3PP1BXoE9QJsZVo/uTYrWBctTX
m6YpaZKS6NDgw+FrAeKeJ1x2Ngi+Ro/bMWRRU8oKHYXPh1ElhySukLI0mDx4WBH4
CHZepkqMuZMd593hNwul
=Tv4E
-----END PGP SIGNATURE-----