[ubuntu/saucy-proposed] agda 2.3.2-1build1 (Accepted)

[Colin Watson]

agda (2.3.2-1build1) saucy; urgency=low

  * Rebuild for new GHC ABIs.

Date: Thu, 02 May 2013 23:50:54 -0700
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/saucy/+source/agda/2.3.2-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 02 May 2013 23:50:54 -0700
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.3.2-1build1
Distribution: saucy
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Description: 
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 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.3.2-1build1) saucy; urgency=low
 .
   * Rebuild for new GHC ABIs.
Checksums-Sha1: 
 d5deedb561a295de841b6befeb96ceab7775cf48 3463 agda_2.3.2-1build1.dsc
 52f2904275397eb47677f3d0ffb61d24cf19d14b 7405 agda_2.3.2-1build1.debian.tar.gz
Checksums-Sha256: 
 38e7c3b852f1af7b36cd8caae5ead108ba20a5d5562fec495a19b77e420da932 3463 agda_2.3.2-1build1.dsc
 f8ed8228628726832e6bd1f7f46ee2686b6acd741534101de686265bc2e6b70b 7405 agda_2.3.2-1build1.debian.tar.gz
Files: 
 85bced00359e9f51785dad2dc44055e9 3463 haskell extra agda_2.3.2-1build1.dsc
 7968f70e156e9e592530735d4fb5216a 7405 haskell extra agda_2.3.2-1build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBUYNeVzk1h9l9hlALAQiVhhAApwPIOfKY7+auDCA5aUdIKVvI+kpmXzdb
1oWuGQPeaDwlftuNKcgzuihTnsS0oclYQgm4zgFXLLXj4kzqzrtOj2fQrHTaFPzC
Eknq4rGad8IR3wc8BBx8ddFRf8Cl/CKMjq4VFV+nqW1lXeUKZdghky1c78zWE6mx
kbEfV9vTclAqfT2QNckpnec/rhLVJtMGnpzCkwFpfzrZwslL0bc8HPGBDWV7W46q
e8nPYhdW46N4EVGXdb7DmsnXrCTkQelmaIZXJ5q0o+6jl6QP4SI9YqaK4EKRtnRC
sCeUF3z6JQAhYRN4o711Cxlp8hT6/OCWUVL95LyvwJsjFBR5hmcGZOSBhF5mS6/L
1NALUqCXO8Ixrcd+oPrCFOO5/+YaR6FBGVLfM93Q68iwM0ddPmSIRnYhFaYvq+wn
TyMincD+mRJG/SCJCMF2GvAVgpUkqve7tgCkPCTmRA0ZV0hJOd0s+c23cP9njypT
q7WabR2hyPnSGzSaXFvDvPMLtY6TKKq4I62M52WL8DoTxgYet3YUF1DmAyNoA6Yk
xb2BAuQRAfcBGbmbQdnxo9ujsDJ2LgDZHVq5CTbEcswgcYNJ4qwsw0IYb0ghe1qd
VD3K+Y9Epdyzj35biqiXtCf1EbZmevzGtX/OWYw2sbVNqWxDZyk/4buhTXbZZYim
pYqcXH1Tv/s=
=UUVi
-----END PGP SIGNATURE-----