Your message dated Wed, 29 Jul 2020 15:48:26 +0000
with message-id <[email protected]>
and subject line Bug#939136: fixed in agda 2.6.1-1
has caused the Debian Bug report #939136,
regarding please drop transitional package agda-mode from src:agda
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
939136: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939136
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: agda
Version: 2.5.4.1-3
Severity: normal
user: [email protected]
usertags: transitional
Please drop the transitional package agda-mode (from the source package agda)
for bullseye, as it has been released with stretch and buster already.
Description: transitional dummy package for elpa-agda2-mode
Package: agda-mode
Version: 2.5.1.1-3
Version: 2.5.4.1-3
Version: 2.6.0.1-1
Thanks for maintaining agda!
--
cheers,
Holger
-------------------------------------------------------------------------------
holger@(debian|reproducible-builds|layer-acht).org
PGP fingerprint: B8BF 5413 7B09 D35C F026 FE9D 091A B856 069A AA1C
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: agda
Source-Version: 2.6.1-1
Done: Ilias Tsitsimpis <[email protected]>
We believe that the bug you reported is fixed in the latest version of
agda, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ilias Tsitsimpis <[email protected]> (supplier of updated agda package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----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
<[email protected]>
Changed-By: Ilias Tsitsimpis <[email protected]>
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-----
--- End Message ---
_______________________________________________
Pkg-haskell-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
