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

[Colin Watson]

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

  * Rebuild for new GHC ABIs.

Date: Mon, 27 May 2013 15:51:02 +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/saucy/+source/agda/2.3.2-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 27 May 2013 15:51:02 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.3.2-1build2
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-1build2) saucy; urgency=low
 .
   * Rebuild for new GHC ABIs.
Checksums-Sha1: 
 bedf1095ee1127a61313dba0d3e065f4232ea17e 3463 agda_2.3.2-1build2.dsc
 e84f39b391b6b0dd32d518d1073375b7f1152e49 7424 agda_2.3.2-1build2.debian.tar.gz
Checksums-Sha256: 
 58e0f70d2c593904180c6d9b8a23e989b4c8a79ad968947b67ea9e704ec531f3 3463 agda_2.3.2-1build2.dsc
 f1a28cc93ef62698ab502276c77e89a537abaecdaea376c5980cbfd20b304da8 7424 agda_2.3.2-1build2.debian.tar.gz
Files: 
 59da704ffe9bd64ba32aee2dc5fa1461 3463 haskell extra agda_2.3.2-1build2.dsc
 f7e1fc0e9b54b83fa6a6cf62210f63bd 7424 haskell extra agda_2.3.2-1build2.debian.tar.gz

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

iQIVAwUBUaNy3zk1h9l9hlALAQiy+A/+Jbbc79kd9C/jCInbNk3yfZ8a+GLg0O4a
ue30RQuAp6tWZCX7CL79aAzr0OR6dCU/VWbvIazbC80jhYQecd54h7jOa7irlbCj
UVpncbRwzaIopLkuyHmYm5BiH6nBhIw7BX338skonSdflQ5toxZF7CaN44Ac2mML
+hzMfzVMorFGAVgfwJu2buWRrfXCfT8p87RjndZOhfKOFD8nmlkbnoTuusBSC0y7
XwUg+Xblu5R2a4nqycPniV6lZJRewuq6Y9ln0A3nIw3JYohwlyJZlcE7cpg9SIxi
knBgAXAd84m1hIfdm4mhzeNIehH+YeHDmWg4j91UZxy4PRb+TlwrhpP3582kob12
sh/EdOJq4+VjNiQIpP+W9soH0KPsk+D+DQRlNq4CIFhsSknf8G/4uCEv/0iccDmy
TTaN21jR0ogjsyIeGYifscDKk2zIMA+5Rwpax4P/D8An50TWEbqUVFI0Ia7hR2dC
VUccZ3cf6VLj2J6hR6bZGW31QbD9t33xZr5SVP8QBslVC7dH1IJgzmP70hp9OzFk
3yjV7fqeF1E/T2/xfC5nEHSCLF1aZ2iZY5JeB7A5osTeCCJWDboRkZViHaFESngc
omUo4QsIsIWtFL272GFlgQiAhIhfOEVkt9MbLCQWdWjGWT6IIkJavzBFwAARS/ap
6cD8VpnId2U=
=Nrf2
-----END PGP SIGNATURE-----