[ubuntu/xenial-proposed] agda 2.4.2.5-1build1 (Accepted)

[Colin Watson]

agda (2.4.2.5-1build1) xenial; urgency=medium

  * Rebuild for new GHC ABIs.

Date: Tue, 12 Jan 2016 22:24:00 +0000
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/agda/2.4.2.5-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 12 Jan 2016 22:24:00 +0000
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.4.2.5-1build1
Distribution: xenial
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.4.2.5-1build1) xenial; urgency=medium
 .
   * Rebuild for new GHC ABIs.
Checksums-Sha1:
 5100c29daf0099366aca553020c1fd092a5b0a99 3826 agda_2.4.2.5-1build1.dsc
 ae4952a94cabc10494a0464f7e64174cc9731dc6 7848 agda_2.4.2.5-1build1.debian.tar.xz
Checksums-Sha256:
 b6de28c5ccaa97a70485d006f5490b1a0ee4a56351108f8cafaf076288e9203e 3826 agda_2.4.2.5-1build1.dsc
 1aea39cbe7d4e36ce3c247c4e9042cf70bf7a2353e05d02dcaeced2c0914d356 7848 agda_2.4.2.5-1build1.debian.tar.xz
Files:
 7355b1e260e7327084274d781d94ace9 3826 haskell extra agda_2.4.2.5-1build1.dsc
 83dba69cf907660941ab09bf8adcbc2d 7848 haskell extra agda_2.4.2.5-1build1.debian.tar.xz

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

iQIVAwUBVpV9Djk1h9l9hlALAQgxyg//UFQxL3UKcCkwyu3gKr/2gX+SQ9xAkfda
UeTh8y4ucoBMoTxUDFmwdPzw744TFjnGI12EX/TdTvSiNH+/s/rEFqILAQkNcx1x
RZZeYY6kMF0ZWCL7vkpjxG0kXs8UkSqEcnFe4X1elGlIyul51KpwkL7vglwQNjLp
b0yWwI0bwIFH56EIMc5cA6aVJn1Blfb/4WCcEvkiMSEEoULJxkNVa0O4z8JtYNe1
12ZnVUfVzOXNpCbunS46jm2bjEJPt0tMsd72m5vg/n2b955g2t/qpMW4ru2uGRfE
6ndaerIVZeK3Ck5KUzsusHaELC5NjstdRzi7ZRpKhnrDt/LrP2vooGobTz/2TV7T
4wZY2C7CzcwOZs9WnbJl1cTZ/N2Zk0rFUlJxwom/f6z/Gr2aGeLuQMVpydNB+tD+
bNYKzDoR7UqdRkQ7rDcld2JIGrTVjCzZApZI8QcATBWHuAqC8zjRl6qUmz+Fk0h0
hx1dPzKiwMeQKy3Wn79A2+YKyvn6ofFapXOf/x1xeSvgg/zM1d1yQJs7ul7bGRlX
APnCx5Ad2Lz0V0S88yn/+hnYkGNqC5y3qEoS82dz7tKfvrPwWgxEdHDZoPHWlt/4
X7KecSY82cg4EksAv2Bc+6vNJg+E88BXMyMKSfFkums3ro+A4hMfJOWDPH502Yje
GI/FXN+1kzU=
=8XDc
-----END PGP SIGNATURE-----