Accepted agda 2.5.2-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 10 Jul 2017 12:54:36 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@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.2-2) unstable; urgency=medium
.
* Team upload.
* Bump ieee754 bounds.
Checksums-Sha1:
fdfffcbf63e925ea30e3cb3047f18b60d5361430 4054 agda_2.5.2-2.dsc
c3711015d80bd3c67c4650b15bd4b42d91ce9c13 9032 agda_2.5.2-2.debian.tar.xz
Checksums-Sha256:
c51fd41bf0a5db8e5ab70b948a58e11567dd42dcf645fa44f52d78cd343d92a8 4054 agda_2.5.2-2.dsc
2b668c25270e208494d9649eff1466e73f35e40bf91877bf99de53a687ee4529 9032 agda_2.5.2-2.debian.tar.xz
Files:
4e65ed8fc2a3e1768426ce15762e0e07 4054 haskell extra agda_2.5.2-2.dsc
e71bd9c5948d0c9ca27c41520a5b8ce3 9032 haskell extra agda_2.5.2-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJZY14QAAoJEPNPCXROn13ZWHMP/iTN2VHzrl60DBIqf9ql6WAo
r1SvCBcmyHie8ebPwu19ylKPp4zX3FGapdPi4M9va+rz7T+WySPSw+gTCQloZwVB
mgfbQRiy1FYKcpQNAOL3hFCDoW53LhzB5bBHCvj3IYSa953spjfvCyza0yXhYeHG
mz8RhY3fGK73j376brZcvajpZ5DVsnRiPS2urC/Gy9qV7f6WbMpKMsU+XZ5ACTTK
YanFIW0heXVRXyp224mcXDcsDAENmvCeO/ksJqpe06YwX95IFaNkr/oPnF7Ap4WB
xJL6Vn/MLHi3AYL4YyewcSfffK2PK/nIR/0lp5xWXghf9HOiIzAt1j0Shx1+bLCp
KxoJ6fBsFwCd6CTzLuFOtJ8q6tQBPVDMl24WabwSSgXiFE5RfWPLoIzVMxOT2y+t
4DpjqgflxqEjZFJXXFCqF39259JFTjJEC95LWXZx0qX429DG5ppbiPZK1PSKxaSo
WvSLFUdtgvWDPlovhblMHhE9xNO8IhWPYYSS/SWFNoBmU68WfCFxTkXA55jCoUOT
1MQeI+G7UjT9Dle32leSQ1JOy4dMI8aj6bi7Fz01+IaRm+UV3ZG8Csb4TTELLdOF
E3snhJ09/vcfNdMHD8SNA2kDgMeJ8773rnqkNthCOPqsPID1gcZTRfnro4Yp87Bj
QjkixGlMtR98WnBBZ8o1
=hDfl
-----END PGP SIGNATURE-----