[ubuntu/zesty-proposed] agda 2.5.1.1-3build3 (Accepted)

[Gianfranco Costamagna]

agda (2.5.1.1-3build3) zesty; urgency=medium

  * Bump directory bounds
  * debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch:
    upstream build fix with new ghc

Date: Fri, 27 Jan 2017 07:54:20 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/agda/2.5.1.1-3build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 27 Jan 2017 07:54:20 +0100
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.1.1-3build3
Distribution: zesty
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-mode  - transitional dummy package for elpa-agda2-mode
 elpa-agda2-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.5.1.1-3build3) zesty; urgency=medium
 .
   * Bump directory bounds
   * debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch:
     upstream build fix with new ghc
Checksums-Sha1:
 38ffd55c252fd7fabe210c5c7365d9ce753368a5 4081 agda_2.5.1.1-3build3.dsc
 109f33368169140a607845db584935cacbff0d42 9672 agda_2.5.1.1-3build3.debian.tar.xz
Checksums-Sha256:
 c2b2c1dbed3d429650e3618070e0a6f8defc2404f27a137c163453bba27ad6c5 4081 agda_2.5.1.1-3build3.dsc
 a320e4a11689761f4545b738a266c14e939d42d4bf0e6db766bf96a0177c55bf 9672 agda_2.5.1.1-3build3.debian.tar.xz
Files:
 c6f35091936591cefe0bd62a818afd95 4081 haskell extra agda_2.5.1.1-3build3.dsc
 dff61037062e547439f07581a0882f42 9672 haskell extra agda_2.5.1.1-3build3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJYivAWAAoJEPNPCXROn13ZpkwQAIPXm01E36akCRzWdPtN0PkA
qegbTOAFTJpZl23oK8h0i782xP7SVFf11cdOTomk7Q0GqkN346ug5WXrhw35iFmr
DqmX1JicIjxtz4ja56D2SEdRkGIUK8Nv7SUeHKmUdTLskkI4ey6vULQ5zTVedS7y
rLI7PkAYwlvO5yF9iF8+oXJW7uUnCmsg+NxWmJ4jUCXFYubpiEHAEH64+NmKTGQI
25T+DhU1Y1kDgyYc7/T2voFzW2Vmv8xcgBIUGr/F7quVEXJLyjd7QKolwkFtX9VK
A5gl8s0Cnix7IktIX6k7FkofDhGM2QkHN/vjACujzypLoaZl4VBvRDtSrDpjwIKG
RSekZMNAWnlp+Xgsm3yda9De0otbRkE7gzVfkP7BfhHhhbqdoUGALWYtY9uEVIG+
Ctkckmplw8Oz4O0T0pbPv45xGpOgenU5rcFqQdgi+QCAzgcGUSHCJXTIulbr1uZ7
32mo0qsEiP331J8n4S0Vpfs3dmJzYANi7QhsAqxiul0S6+n+rpEoL4R/Pc0gv/ly
/2fZSrs9I40ZhIWliQoeP7cL+Llj3Z6jI3hKy3D5b+OEjWjdX6nUVMX2ES9/5nqz
uKufXvCI+uwDgW3i6vQdZyNPmBj/3fda7PqurzLhGT8vYBDo+I1qtw5c38CnwRjY
eO9xI94ULnmOTWz8QnC7
=+DJ4
-----END PGP SIGNATURE-----