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
