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

Gianfranco Costamagna locutusofborg at debian.org
Fri Jan 27 06:39:14 UTC 2017


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

  * Bump directory bounds

Date: Fri, 27 Jan 2017 07:34:56 +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-3build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 27 Jan 2017 07:34:56 +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-3build2
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-3build2) zesty; urgency=medium
 .
   * Bump directory bounds
Checksums-Sha1:
 d8081ff21a765cd06972baa243a9e2260d2c2197 4081 agda_2.5.1.1-3build2.dsc
 51b43ba44e1ddd113ee26b6fbc513cb8ecf9f410 9236 agda_2.5.1.1-3build2.debian.tar.xz
Checksums-Sha256:
 4f2e10bb16afb00a3d33bef743bdbffeff0f3626eaffb52de91f3b4d3fa3b10b 4081 agda_2.5.1.1-3build2.dsc
 04da9be96759e78897001282b1f638fd03b6356a38553e2bb9367cec345897fb 9236 agda_2.5.1.1-3build2.debian.tar.xz
Files:
 2de472b864a6f72974dc4955a634ecdf 4081 haskell extra agda_2.5.1.1-3build2.dsc
 652b6a4a513e2c9b085f717f79045b0d 9236 haskell extra agda_2.5.1.1-3build2.debian.tar.xz

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

iQIcBAEBCAAGBQJYiurRAAoJEPNPCXROn13Z4ioP/2ToSXYQIW6szYpCV4egh5K/
CIxX2Aq1H5Dp+LTyi7kHtXJaVcXStcUjxFguWtO7uGbG7rONE+UXas3rYmHZLlvc
MYWU5mkVab2YkaVDE12+NP8MZEL0/Ru19woiG8G4vLS8u4R+maKIFSeWFCXVxzM0
q7cb28fsGpyX86uUh5ydt7f3b32A9542EJ5H/JrXY1obLjg8onZC3cA6daiEJ47f
3GWCiw/PBLuQYW/TGGgf69TketQ3YsKMq6qTNL9DsAbDaErPBc1BjqcvgkkQHuLp
F9fuxVEmnH9fOm6DJtu2U1G7Wi22YM+w/kkYgMpuDFUIwBfWmGQJNvnMHtiSirrF
65ke/iSprI7Ebtgl6/s70lOj+lmvXd9BJZGqoqiqzB+Un/WjMIccBjZTiinYC4hO
kPckCTKvYPS0P18VV/XIAql3gPMvJZJiyLUfZxuJiZMYR7tT9vxlVLN3uLjPhsXV
xfJWBAVGtUdzI6VKZyDZxnOAv98VtTaQGyTPWwZEUPwSnvjiKiim2as1d74RnSUO
ffjrkR7LSMEhZ0Kr5tMG0D7/mKxz1/YXHRrCYWbX07TAruYMLliVtrnwif9fMAi4
02A8c+5KiihmzSeZgwVoaA+/9yYqnjWSfBwWQ7P320+CDNS0ZWMPCum1nyRsRNcS
4uxkJfssyprHxalYUDLu
=Dx+J
-----END PGP SIGNATURE-----


More information about the Zesty-changes mailing list