[ubuntu/wily-proposed] agda 2.4.2.2-3build1 (Accepted)

[Colin Watson]

agda (2.4.2.2-3build1) wily; urgency=medium

  * Rebuild for new GHC ABIs.

Date: Mon, 20 Jul 2015 14:04:53 +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/+source/agda/2.4.2.2-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 20 Jul 2015 14:04:53 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.4.2.2-3build1
Distribution: wily
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.2-3build1) wily; urgency=medium
 .
   * Rebuild for new GHC ABIs.
Checksums-Sha1:
 270e0177e0026f1c6094bda18c680720d3800fff 3676 agda_2.4.2.2-3build1.dsc
 fca1ebde49d1544f3b223230ae7d9071ca7339cc 8372 agda_2.4.2.2-3build1.debian.tar.xz
Checksums-Sha256:
 fe34a21e3d6204421b5c0611c2ee6a9d41f954e339d6f91a413cc7deefaf27cd 3676 agda_2.4.2.2-3build1.dsc
 d361574e837ba2a8581eb8dfe157fdb30441d264b242a60a03df3b582b8bb1bd 8372 agda_2.4.2.2-3build1.debian.tar.xz
Files:
 712cdea5809f95bfd68f015a5d25e0b2 3676 haskell extra agda_2.4.2.2-3build1.dsc
 33ebb64936f3a64448dcf9f6de434df8 8372 haskell extra agda_2.4.2.2-3build1.debian.tar.xz

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

iQIVAwUBVazx/Dk1h9l9hlALAQgc7g//ZZ967tnicy6q0/2n4aBIZuOwsva2nCE6
v75gSKim/yw8LdDMudP6aWkjdzpBeXTMTq7SOF68kjSl1r0LQ88VuMkkreGIRbt5
s7I7lBoGbrAOrqegcH0raYiM1PEfRBa+BOVGKamFQJYYpNS2gx3ftVsOXs4uj8Vp
1X0XqHA1L388j/oK26/bN69g4xGkBpw6oYRaqJ5qKB7/u3bv+G79hM+BDWdYQXLp
bI7QEfG1EBSiCe+xe8fqO7yJMZOwLwhQfuZeC8fwuZQ2GSh+0fSvBqOig6HIL9ui
/Cic+pWHyqrywb806ebb3vy2tZoo/ycPGP8hb4EQZZB0mVqPdIYQOvxtS9R+jfsg
i0n47xXPAAqYet8UUa3Cn5L2R772LZHNLzuqL9vk2gepJ1vzcVbk0EpVY44ZbbBz
h8Q9BlpVOmjzAqN743WQ6DXUqSYsrFQw7veFbUSOYjXhIvpocMX6620d2YiWhzGw
BhjXHgxTGi1qLYfChCUwtFp3XJ33UgyXOWyV0zGq55B+RqmKKCU0CjMgq/dMHwMi
YjbNJ/gjOQlAf/FT97pPvVe53hbzXdCBenHXz/sIeYvEOB+2/MMndHimoHIpXl24
oFjKTj3PJh0JzTVkXH7qgjkgupsaPw94lkblox4/LapXxa5ZEZAT9l6fPYylU738
BhVh42YbLVw=
=SA/W
-----END PGP SIGNATURE-----