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

[Iain Lane]

agda (2.4.2.2-4) unstable; urgency=medium

  * [d59dba4] Revert modification of upstream source in
    a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
  * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
    #793194)

Date: Tue, 04 Aug 2015 14:46:23 +0100
Changed-By: Iain Lane <laney at debian.org>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Origin: debian/unstable
https://launchpad.net/ubuntu/+source/agda/2.4.2.2-4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 04 Aug 2015 14:46:23 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.4.2.2-4
Distribution: wily-proposed
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <laney at debian.org>
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
Closes: 793194
Changes:
 agda (2.4.2.2-4) unstable; urgency=medium
 .
   * [d59dba4] Revert modification of upstream source in
     a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
   * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
     #793194)
Checksums-Sha1:
 516a22346d554ae05e1325b4e4dbacf46d30affa 3594 agda_2.4.2.2-4.dsc
 12361224f042489c80c86495ed2b3c7d9f677f61 8792 agda_2.4.2.2-4.debian.tar.xz
Checksums-Sha256:
 63f82dc249f57468aa1366e5ac64507842a281a85db87209ed74e680a1ff3ab4 3594 agda_2.4.2.2-4.dsc
 63f6e1b5642a2cc3196e213bc092d877da3ad8829abf73a1b1a9f41804657c32 8792 agda_2.4.2.2-4.debian.tar.xz
Files:
 12357a1190c689e0dfec9a38d400ad9a 3594 haskell extra agda_2.4.2.2-4.dsc
 52315003972addb06efae13e8c543b36 8792 haskell extra agda_2.4.2.2-4.debian.tar.xz
Origin: debian/unstable

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJVwNUzAAoJEONS1cUcUEHU1vYP/1XY73xZ1UTaoxUlztH5dxqW
rC3UwS4t4I7YpvAC9peg4H4jgo2cr46Mug2UTtybFYg/z+dfRfOa1Etui2VhCLBm
CQP1G5YG2KGXyT2S8Cja8Ams04qQ4VCDE98F4DboVTkt9nJr+6jJVqaYarZg9Vdz
rDQB5EA2k8Uo7pXM5aGHdd/H9KIh0JkOeIxHTQ2K6+mx98LKTNHn2nATKzvQccjV
+zfBohpiLghYT/XbyFOD2tvHnPZWJ2XEwdL5JCmKbRFRd/0m8dN4kozhBaFpXodm
sDpO/5Qe58l6ORAAga+fWnxVe6tAu4cS3pt2Sw0mFCd6BqBMO4Is7jN9iOUROW2z
KErT4ZuqH9aATMsD0gQxv8UthuZqEsdQ3fGIEYgzMxplW31QDnPSglGMLi6SgC6I
LLdwHomElBPTbIz0vzjcXx68115IkNRuKCk8CTcnDOcbk/wzgMFP31STQOAfG8Py
vBPJCIcvv+MbYu5Lx/PeWP3r8yAz6T06mhEiNj+IyR+iW4nHmwa1LGyRqzxDSmpk
5tsTs5t+jJ4CekyNHTv9NHww/KjvPV/b2wTGYCumSjvnyBDbwx+sW6FO842Csait
HZEsSuhZ6xjn0GQSqgcps396wNGAQoV0OjdVBkJXGMSHP0C+nZCccw0QrS0lmQk7
R0+hpbBWlTDDtTTM183g
=/k9K
-----END PGP SIGNATURE-----