Accepted agda 2.5.3-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 09 Apr 2018 20:16:15 -0400
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.3-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Clint Adams <clint@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
libghc-agda-doc - dependently typed functional programming language
Changes:
agda (2.5.3-4) unstable; urgency=medium
.
[ Ilias Tsitsimpis ]
* Change Priority to optional. Since Debian Policy version 4.0.1,
priority extra has been deprecated.
* Use the HTTPS form of the copyright-format URL
* Modify d/watch and Source field in d/copyright to use HTTPS
* Declare compliance with Debian policy 4.1.1
* Use salsa.debian.org URLs in Vcs-{Browser,Git} fields
.
[ Clint Adams ]
* Bump to Standards-Version 4.1.4.
* Delete the Uploaders field.
Checksums-Sha1:
0794f7b4138cda03612b62b15720db40fcf5e8c1 4685 agda_2.5.3-4.dsc
10378949e5d360b0901b7d1651ae8f1820263eea 1201344 agda_2.5.3.orig.tar.gz
99426bf86de426a5e36cefc656055e582484813f 9900 agda_2.5.3-4.debian.tar.xz
a7d1e031d6593b0db867382e93d3e140a575c63f 8098 agda_2.5.3-4_source.buildinfo
Checksums-Sha256:
0f8e44ae62606388a7a7262810ea66d5bec0708511bb7daf9d1a9b8d1dd0070e 4685 agda_2.5.3-4.dsc
aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065 1201344 agda_2.5.3.orig.tar.gz
a08258c390f8e855e16e9739976416b957b67c93114daab7ebff2f0ffc1fdbc6 9900 agda_2.5.3-4.debian.tar.xz
53338a8b68c1b4553c3f444dec868c37f3967ace4117ba398fbe99d5d597dec3 8098 agda_2.5.3-4_source.buildinfo
Files:
9e03ccddb47cc3588aa18c45e26eb107 4685 haskell optional agda_2.5.3-4.dsc
3cab31f59cb3f49137fb6b64ba70125f 1201344 haskell optional agda_2.5.3.orig.tar.gz
6ebc3aad253b58c514562c226be5d84b 9900 haskell optional agda_2.5.3-4.debian.tar.xz
baf3a7e152021b5403aeb8cf248a534b 8098 haskell optional agda_2.5.3-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
Comment: Debian!
iQKlBAEBCgCPFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAlrMBh9fFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1
ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKh9gxAAqCOvCneCX+ygfQFg0HY/cJENnz9xcR8X
NU6BblZiw4qRZAYRceWpMoCTmAsjp6P4oX1/K/1svaE6Xm65DAK8K9CghqrrS6V+
ACqg2kfYulyB43T5Z5iiETDdj/Eqe8R/NcwaB5H9qXOuDwKtJN7Znpuk7YI1U+z3
40mlEw+DrzSprKxqTmYcF5nhrYA2v/EJ5U/3Z4dJr68NyUHLJftWpVS7wMeiiBRG
un10bnQv/zFYfEEpUvVJupSJWXIYQwAVlMJ1OC5MIMixRYJ+PXhgdKA3KRUeeZJn
1JUpNkw/RKCtgjaEDak9ApsZEHpxj8tgf2HwJxaq3C1LTBjYIyVGy2JuNpNyJF1D
o4CzPS81Ih5A8rM/+XfxEppR1wgnbSSlQb6Z31r/OuiZST2dEILVroSVVycW4z9r
r4YblkmVcvBKVQEc4yb1CVVn6gIfVUDPf8j0x9T1x9IY1uWhlN4fG8jvcSzLxL4a
jQO6hpcy28XOXg4Bp/6kABE++bo7PV1wjT3LB3mnR++mac2jbjkHx+clXSaQSPeE
2p+5tkED/wHl+uJDQ0Nv67G9H9VaJY/YzAOCcQfIuCaSQW5H+x3Yx1gc3hh1lQbo
QbGiEV2K3TaRaKrhBSQS2S0vkcUX0gQ8Tr3/upmDiSNDByxZaO5JvtERQ3JFwiAI
vYlRfZV/AHc=
=di9k
-----END PGP SIGNATURE-----