Accepted agda 2.5.3-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 16 Sep 2017 12:53:41 -0700
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Sean Whitton <spwhitton@spwhitton.name>
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.3-1) unstable; urgency=medium
.
* New upstream release
* Drop bump-ieee754-bounds.patch
Merged upstream.
Checksums-Sha1:
442d1206e36aea89b1e2ec0dafa004edc2325cb7 4603 agda_2.5.3-1.dsc
10378949e5d360b0901b7d1651ae8f1820263eea 1201344 agda_2.5.3.orig.tar.gz
50837919d853d8f5659a82408aa07e5b95c10fce 9048 agda_2.5.3-1.debian.tar.xz
06c0dc40d385b56e576f1f630f41af25d1083994 11143 agda_2.5.3-1_amd64.buildinfo
Checksums-Sha256:
e09b9b928590e368961481bd411fc818857bb50319b0191b4318ba7e617584b7 4603 agda_2.5.3-1.dsc
aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065 1201344 agda_2.5.3.orig.tar.gz
a888e606d946bbc68f1f62eea0a157b4f2e08ba669b80c5c22a21a7391747e9a 9048 agda_2.5.3-1.debian.tar.xz
8f9a2a290d4dc27678abed03b44d0f8edf43acb7ffddb4fa0e40637910f5669e 11143 agda_2.5.3-1_amd64.buildinfo
Files:
2ba57a86efb572663b31181050491070 4603 haskell extra agda_2.5.3-1.dsc
3cab31f59cb3f49137fb6b64ba70125f 1201344 haskell extra agda_2.5.3.orig.tar.gz
dbd8efd9e95f8e8863e63acab3bcbb96 9048 haskell extra agda_2.5.3-1.debian.tar.xz
7f39683ade6f89cf71661b54ed5c5223 11143 haskell extra agda_2.5.3-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEGkYIf5Vdk8V8YFcbPZCKs/D79R8FAlng4r4ACgkQPZCKs/D7
9R+cVQ//S5y+Artseoc+Vld6qv3hRet1nkgmBa+gFUMMOA4wpUBO0EMBs6m141Cl
bsMtBb+XEYK5fdyyEFvVSAsIjAF3xC7nneIf15Uix1XA9jqCGPvGulMjjmeVK98l
9z84JPEFGrOgYQMiUKTSAeD2o8uXLvofofl4H7LoZeTFU9RD5XtsCfH7iSOsWJIw
A84GRdOqpPMnGSDJAu8qdjtx2vYRZfRI0SrFguWo0KbXP9MYv7Gp9uTlWgdmxPdK
TR98sNLN94eO2lX/uqvUoa2y9D+na86pLyFJJQJoBwoMInfFEPmbuh+rIIkjp9lR
vAzErhXhLkXCO3kUbZJkGqrXoTqFO4DRMqL6aR/Z1LtxBSg0XQ7UhspVUCY8W2r0
bhGysVZcAILUs6vCbw4vGDBLnPhLscAaPRkupRy9eJeyekUw1GmQrr8b3rXCcc/D
A3XsqNOQEBjRejfF/4VtPo4ZSnaT/Mr5RSgJs27QeRwN7RcX9PH40oOLZ+XZfKLt
oM/UrwmoC5eXVAc7WG1SFW+fFrW1FbNCM8WDuJbc9hXEaoviqSXahwbkuMYtINpL
k/pdyYYBC+rVsofg/9lSLGzcUVP7GrKlOqeK91lWyA6ApS0UexrAwqgWpCbkanIp
usU5nMZZC0aWxxyWpCz1apTdj64nZJoKflwUcV4LtbGmE/zMhMw=
=nNi0
-----END PGP SIGNATURE-----