Excuse for agda
- Migration status for agda (- to 2.6.2.2-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- Updating agda would introduce bugs in testing: #1017415
- missing build on arm64
- missing build on i386
- arch:arm64 not built yet, autopkgtest delayed there
- arch:i386 not built yet, autopkgtest delayed there
- Depends: agda agda-stdlib
- Depends: agda haskell-aeson/amd64
- Depends: agda haskell-aeson/mips64el
- Depends: agda haskell-aeson/ppc64el
- Depends: agda haskell-aeson/s390x
- Depends: agda haskell-boxes/amd64
- Depends: agda haskell-boxes/mips64el
- Depends: agda haskell-boxes/ppc64el
- Depends: agda haskell-boxes/s390x
- Depends: agda haskell-monad-control/amd64
- Depends: agda haskell-monad-control/mips64el
- Depends: agda haskell-monad-control/ppc64el
- Depends: agda haskell-monad-control/s390x
- Depends: agda haskell-regex-tdfa
- Depends: agda haskell-split
- Depends: agda haskell-strict/amd64
- Depends: agda haskell-strict/mips64el
- Depends: agda haskell-strict/ppc64el
- Depends: agda haskell-strict/s390x
- Depends: agda haskell-uri-encode/amd64
- Depends: agda haskell-uri-encode/mips64el
- Depends: agda haskell-uri-encode/ppc64el
- Depends: agda haskell-uri-encode/s390x
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/a/agda.html
- 116 days old (needed 5 days)
- Depends: agda agda-stdlib
- Depends: agda haskell-regex-tdfa
- Depends: agda haskell-split
Excuses generated Thu Dec 1 15:10:31 2022
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.
Experimental manual migration pseudo-excuses (YAML).