Accepted agda 2.5.1.1-4 (source) into unstable
-----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-4
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.1.1-4) unstable; urgency=medium
.
[ Sean Whitton ]
* Remove myself as an uploader.
I do not expect to be able to look after this package for the buster
cycle.
.
[ Gianfranco Costamagna ]
* Team upload
* Bump directory bounds for ghc 8.0.2
* debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch:
- upstream build fix with new ghc
Checksums-Sha1:
529a3d82bf09728abe90370c04afaaa462a9d5d9 3997 agda_2.5.1.1-4.dsc
271e46100cd097beb2f321c2b729b7085068ba03 9668 agda_2.5.1.1-4.debian.tar.xz
Checksums-Sha256:
4e2e447f45584b26a0728ec523e0fdbbfd1148e3923cb915ad89beae2fb22a93 3997 agda_2.5.1.1-4.dsc
8719c68ccd3f5d38ba1f0361fbc15a4d463f13d68730038eebfcf4fa4ad0f20f 9668 agda_2.5.1.1-4.debian.tar.xz
Files:
3a3f1ac70567034539e55a78cd3620ac 3997 haskell extra agda_2.5.1.1-4.dsc
6d58b5b6d3030e6fcf03e5715f5d1dce 9668 haskell extra agda_2.5.1.1-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJZSZ6OAAoJEPNPCXROn13Z7hUP/jhBlFQqq1JwTgek7it8Kj75
ZYn/Puy3VpGEXDsOu/ZRxTrEf+Xe98Zjn7RwK27DJRCnzrIWKwRoDdP8UWD6vAFv
T5NFVCjAk4HP1YVJodMA3Ul+0lNdasu349BEbnHNYY3Upm5L18K5z0bTZn0YNDnm
rpxirSafMObpO5hCfEt8Vdn0mdRVBvCmpMHitfmuGAvWv+tT8yXQbLkq7bcEDhow
usVLJvk8GZ58D/WmgLjxYVz267iLHbkRSHSMVlnbbBe++aWRGvZVpL3GC6QxQ+mX
/QTelBJX1Rmwf1cWRp/R+DEm592BTvF2jXVGCm+4KJlazWJGfhoH7ddKgnaoBHTi
gBcrUHVGETcI0/KpbP1tmwQN7Hg/xIyqMis08tdol4ODgX17Gg8iy89rMy3ORclp
iw0ZN4ydFTijnRrbT24fN5sv3kAkwgy+VMyeCPwmp4X5EH9kk8mTbE5njfRQdGmB
PztLpSv7ykm3Ab+Pdw+/3Gw6a7cbli5urVUslwC6OODgdsVIdakjIhi3bvUZXj3C
lg6ZvT07VHoq5E7BfsTA2EBQRV8QgCFfr3nVmF8MGuD9UcSZQGBIhcE2y+qv0nQG
+AghIvO1v4XUy9+6MH1pJclglbyub1VrVq7D2OTu956nulqWgGp8BWWmtGH1NlG4
E3hBK34WMKMkMcmuFRpi
=mN5l
-----END PGP SIGNATURE-----