Accepted agda 2.6.1-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 29 Jul 2020 18:34:44 +0300
Source: agda
Architecture: source
Version: 2.6.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Closes: 907521 935635 939136
Changes:
agda (2.6.1-1) unstable; urgency=medium
.
[ Sean Whitton ]
* New upstream release
.
[ Ilias Tsitsimpis ]
* Refresh patches
* Build-dep on newer versions of dh-elpa (Closes: #935635)
* Drop agda-mode transitional package (Closes: #939136)
* Add lighc-agda-dev as dependency of agda-bin (Closes: #907521)
Checksums-Sha1:
1d768c2010ea6f9e09b25409b1008c35636e0f0b 4186 agda_2.6.1-1.dsc
e0b627b6c2ad270a7047e50fa31305601d057345 2646289 agda_2.6.1.orig.tar.gz
31e1d8c5f613dfbcc3f42db18060537bd2e28595 10060 agda_2.6.1-1.debian.tar.xz
3d7cd31d3f1c10f9c54a5cf57ad4f8f202483005 5528 agda_2.6.1-1_source.buildinfo
Checksums-Sha256:
01ef3804bacf180da3aec8e48db09569f3d16b41c01673c15caf94b79988c8fd 4186 agda_2.6.1-1.dsc
678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129 2646289 agda_2.6.1.orig.tar.gz
2a48368bbd5171d59707fa47006ccb602eb77a585c4a513cc0cb6e25240017f5 10060 agda_2.6.1-1.debian.tar.xz
a096660e87ed5c1db3f2141e20daf388ca94e1fca250661a12e8a191fc9c96fc 5528 agda_2.6.1-1_source.buildinfo
Files:
2479572201b6b83dbf609457cfb07572 4186 haskell optional agda_2.6.1-1.dsc
6d3232fbf32443a9df3e58d4b793a963 2646289 haskell optional agda_2.6.1.orig.tar.gz
3d0081921bfdd646afd8762605a47736 10060 haskell optional agda_2.6.1-1.debian.tar.xz
3bd516ced7e41cbb8da45016cbca8eed 5528 haskell optional agda_2.6.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl8hl8QUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzrkA/9Fn8AsUytZDYBjDKq2SsgX2I9KKsv
XKRLfUaATnL/e7272s1tP/yhm+eqhykpd+wynUhE2MY2xIdX9eNIxZWfZOmz3eg8
9Fc5ktw/6/pY49WgiWNkmqqP3MDkn2h3YRmefgk4YDZfteAdophbijSPgCbEu3ap
UzGqzjiFugxMTMg1Tx8qVdqzuyTg1VcZQyUGl5TylvqOm4Qcyud9rCusayRn3f3E
SUtaYpWjzx1WqYbfLf9hqHc9HbqxXO7Ruy8uQX4BG4oLyG6+9xuilRhthEB84NGU
7spCoaPYBcpAKWsJqW5oL/iARK+I7Lr/gUl1SeCTuEiDWZwlVinDEZiobh4BHxfB
sf1i/3lEM4R3XFm4qwDUbHukTtXO9erpW8QUmG4gzAGaTuF4e7jLhIVvFGMMDr8V
mme49S4Crit/JVdlYp4jjvwqoH3xgfzydln0KuDryX2/vRJazbqvidasH243kR67
uAJXuIET0XA+CYYXatCVkIJ2SMqoJo2pz+swEtTTu3/SXEHapyogSEddZKz/QpIP
5uZtmZgihNkJdxMq/XAiQv9FfbiLjKwwRvnHkJJaIT18WtiJrMjVgKFWwwitZR7a
LfLIxo2eI+P2wQyOdWRhiW0X1soEiPtMi52/4SCuYwhIQJUFDjySrqOL/cdHpUid
X7kN8I4e+KA7+UY=
=5OVO
-----END PGP SIGNATURE-----