Bug#939136: please drop transitional package agda-mode from src:agda

[Holger Levsen]

Package: agda
Version: 2.5.4.1-3
Severity: normal
user: qa.debian.org at packages.debian.org
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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20190901/cd90b9b4/attachment.sig>