[ubuntu/vivid-proposed] agda 2.4.0.2-2build1 (Accepted)

[Colin Watson]

agda (2.4.0.2-2build1) vivid; urgency=medium

  * Rebuild for new GHC ABIs.

Date: Wed, 29 Oct 2014 17:33:18 +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/vivid/+source/agda/2.4.0.2-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 29 Oct 2014 17:33:18 +0000
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.4.0.2-2build1
Distribution: vivid
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.0.2-2build1) vivid; urgency=medium
 .
   * Rebuild for new GHC ABIs.
Checksums-Sha1:
 3a1211a9fcf8160e78c6ec9cb31a65449df23f3d 3962 agda_2.4.0.2-2build1.dsc
 85fb91a8feb215275eaf37267c1a4aec346f4f60 7384 agda_2.4.0.2-2build1.debian.tar.xz
Checksums-Sha256:
 a5eae713c8bc2ddbe74ee7f1f7e6e878373485ec4f38b3d39511749a893a3479 3962 agda_2.4.0.2-2build1.dsc
 e4cb595547f5b3aa1776ba8b998992e3a29f38a1fab4871b2a9b5624a978fe99 7384 agda_2.4.0.2-2build1.debian.tar.xz
Files:
 96241db02b7779420af7e5f5485b23d3 3962 haskell extra agda_2.4.0.2-2build1.dsc
 e09178febd2f2dc2baf78f4f18f9c105 7384 haskell extra agda_2.4.0.2-2build1.debian.tar.xz

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

iQIVAwUBVFEk5jk1h9l9hlALAQi/qRAArbcpnZhfCG+teR4rL4sd6bJpWhRLWs5Z
DyCtXnwBkgYz/M7zBBcowiEXGVhlJZsHGTn42pID2COHkJlRXn6UZkB96wLyhuIf
Q+64k916bfmKXX/epIEVR6aUrSlnTu6mY9ztkuu1j2irbHw9D0zwnBuUhlr3haNr
+2i2X47Q5zBX4SlBFaUeq7NQqETqXDPTuVtN3e5Tchha9gjy8EHTB2Ek/EnDqmeN
yOKvuXw0mU7VzufjgRHYFsaBtnkSMq6KWFqe1kgB7i3SFZ759smZaQdnGFgscGgq
v4JL3hbHL7y3WcWPOuXyyEE6TjuVvIud7pzBvXsFLTxkFtnKeoy4bYjXMT8nTq4J
RrYRcFps6QI+IwTZDY2dwtKxBQfvzqlGfcdrQeZyyuTdvWZcX88zO5Ki4+8jX9SG
q6BjCw9NTCfl2cN/c4z6F5oUTrKcCScqXYbVz7fDXZP+A3TJ/21eYB+q25Xju+lf
iMrkj+JbKNAWTtDu96tQl5aG4K2nInMpLTcf0D981rXrWMnyI7jxWqEmFd8C6umg
QIhNipl6UksN+ZmQDhgsVsVVkAPWrGE/HFiLBMaKFOZrutm6ImT6b3NQkzbHLHva
5Z73RPQDyjbZm6rD9JnzfVVvV/dU4JvtfvmWLxifbolOHyDRG/A0nhDD+EvszPaF
m016pcLhIcw=
=zFlT
-----END PGP SIGNATURE-----