[ubuntu/utopic-proposed] agda 2.3.2.2-1build1 (Accepted)

[Colin Watson]

agda (2.3.2.2-1build1) utopic; urgency=medium

  * Rebuild for new GHC ABIs.

Date: Thu, 12 Jun 2014 21:25:20 +0100
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/utopic/+source/agda/2.3.2.2-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 12 Jun 2014 21:25:20 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.3.2.2-1build1
Distribution: utopic
Urgency: medium
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${haskell:ShortB
 libghc-agda-doc - dependently typed functional programming language${haskell:ShortB
Changes: 
 agda (2.3.2.2-1build1) utopic; urgency=medium
 .
   * Rebuild for new GHC ABIs.
Checksums-Sha1: 
 02f2aa9657837d5dd416830036dba7edfd9a4c16 3346 agda_2.3.2.2-1build1.dsc
 c3d9450155ccb45090617a385632ca60ea147ba7 7527 agda_2.3.2.2-1build1.debian.tar.gz
Checksums-Sha256: 
 f8e976bb7120e95fcae283f66025ff25b4be279e82a6570fc0c2fb8f6e7c8134 3346 agda_2.3.2.2-1build1.dsc
 56e14746d13459edb456aad083f081e534bc5e08ea45bab6eb908320a764a2f7 7527 agda_2.3.2.2-1build1.debian.tar.gz
Files: 
 9b89056b09bc2c34e1bc813b4bf8f593 3346 haskell extra agda_2.3.2.2-1build1.dsc
 11bb9476d17655956a0c6fc9faa11964 7527 haskell extra agda_2.3.2.2-1build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBU5oMtjk1h9l9hlALAQgHDA//dRzmeESKdoSeDA7uy2HMEuS4tAVok9Qz
PHnzUFdemcku8kxZQ4y6Y0k+J2B0t1TljFwpc4fEVH3w3zpSCaxXsUmexECgZ6ih
LiiKl4UYIacpzhbJ0VQ1dvZyb1sa1yEJK+X28BINapZU5G6BDERaiOnlUj5VKHkM
wo8uHUSDLvmjxEk1Il3vGF4NQ9oYnTJ3EsyJoTP5jLhLgvVbBzjVnShIGS2AwM9z
ZqhbHwBc1R9+JlyAe3sQsNoFUzP4eZRvmpgWQcVLFSB/BlMpLino0vh+WaYMPIaY
Hh49OWmvJpAXB6ZD+6HL8Fz7sBF9pJGW8tzp245sL4CP5hOk1e9Fk/Na0rw1yMyu
R6Ipn3zzZqoMoUq+t9kth3I7Tth6qSKJkJ7dTvlIyv7sBUl8G8FI35cmIbgq/6jL
knusqhGSSfDLvZYUvhx1mSgxIddPV401+fjQ49jg3VqmoSe9VA+a1ptbyBc5CDFl
fU5FJwql+Mx6CY0VK7YyL0b9uK7tuisDmdfyuLZyngwC72zpTYZZsbPpJ0OUDAn8
ALyq5HMoChG73ctNMM2UwSbiGwM1Y/GezeZU6lNk3wnjlYl0Ecif61Nf7hjv0zJ8
SkNeety2zRDJrFZusltLK8CMFmXaB64UuK6inXS3RRY5zMdeXsD7FMx4nxvEmpEv
uHIe2Dj8kOE=
=Ul/Y
-----END PGP SIGNATURE-----