Excuse for agda-stdlib
- Migration status for agda-stdlib (0.17-1 to 1.1-1): Will attempt migration (Any information below is purely informational)
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/a/agda-stdlib.html
- 46 days old (needed 5 days)
- Depends: agda-stdlib agda
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.