Version 1.3-2 of agda-stdlib is marked for autoremoval from testing on Mon 08 Aug 2022. It depends (transitively) on haskell-geniplate-mirror, haskell-polyparse, affected by #1013773, #1013784. You should try to prevent the removal by fixing these RC bugs.
The current maintainer is looking for someone who can take over
maintenance of this package. If you are interested in this
package, please consider taking it over. Alternatively you may
want to be co-maintainer in order to help the actual
maintainer. Please see bug number #914691 for more information.
testing migrations
This package is part of the ongoing testing transition known as auto-upperlimit-libghc-agda-dev.
Please avoid uploads unrelated to this transition, they would
likely delay it and require supplementary work from the release
managers. On the other hand, if your package has problems
preventing it to migrate to testing, please fix them
as soon as possible.
You can probably find supplementary information in the
debian-release
archives or in the corresponding
release.debian.org
bug.