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

[Colin Watson]

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

  * Rebuild for new GHC ABIs.

Date: Sun, 16 Aug 2015 09:51: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/+source/agda/2.4.2.2-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 16 Aug 2015 09:51:20 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.4.2.2-4build1
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-4build1) wily; urgency=medium
 .
   * Rebuild for new GHC ABIs.
Checksums-Sha1:
 65d5491247764e752cf8df59032071d427a4677f 3674 agda_2.4.2.2-4build1.dsc
 85b5391b185a4fc4c2600f2aabb5c551159ba977 8856 agda_2.4.2.2-4build1.debian.tar.xz
Checksums-Sha256:
 ddb7c687270db1506b9c2fd84d97ca61f8a740180282166bbe6098c0064833cd 3674 agda_2.4.2.2-4build1.dsc
 ef7313b239c0ab9f74f9dc82dd8af309c5e3f09d1343140b53218c0381ec54e4 8856 agda_2.4.2.2-4build1.debian.tar.xz
Files:
 fdfab371e4383824f8d3f3239cc537d6 3674 haskell extra agda_2.4.2.2-4build1.dsc
 1e1a0f7eb44abe6f4fd0c292eada7478 8856 haskell extra agda_2.4.2.2-4build1.debian.tar.xz

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

iQIVAwUBVdBPDDk1h9l9hlALAQiwqQ//QIevUGR6kCRsdRLETjyftom0wWRlJk9U
da7GAKlQZcMzoJHqfUe9nW/nEHT+IloiIC3q3fig04tgILB+ncWItVcxJuTdR5k9
Csa/BpXN5wj5s7tXoTq+gk459IVp17rlq6n0S3xVT3s9ZUUGK/y0X8AY1rWpslIY
XyzsBIHYw/cZTqW73M9guN9VUd074yK8es9dOVLzhTNPHQ+HapN9AKKnvHjCu8dd
eIhbeqDQ7lVIMSSAxpTlf2UCuVJbZ2FfuDGxme2Czw0jrSJ8DnSsUik1d1WujiXC
rab5Oks6gM9giqvf5+qwtFFsRGY9ntne1LVtEGr8LGi9IAoZLXuUVoJj7sIsdOw+
PSHNu2IzkMXt8pzkoEweT5e4c5/QjYgR22toSyQrnTh7xsx2e5D58sFcBUtjdO/H
SKivvrEWz0QhxlC4CRRfALJwEQsEjgOtUfYuDqBpKrhoYEBCGMTMPHJL/IVijL6v
KWtVZ+MB4T2W2DgzkYmwKJXF4ec4JdT4kYhem/be3wf1dJIdHUMgPn1fiw1U9Okh
87pEjRp/WFKgC7jNNPHHfNBJDjk0+ZZqSIKxYAEEqbEg1HGqbRc9huFhY0WyIjUH
uX4DK9Kl4I8zODB0ZU7yjmdfhdmnjQddxriWGmaeSTKWmSx+bHEROyRRGeDQj+qW
Ly8tn67J1t0=
=ITKt
-----END PGP SIGNATURE-----