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.
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.5.1 instead of
4.5.0).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/a/agda-stdlib.png){kind=link}