Excuse for agda
- Migration status: Will attempt migration (Any information below is purely informational)
- 29 days old (needed 5 days)
- agda/armel unsatisfiable Depends: agda-bin
- agda/armel unsatisfiable Depends: libghc-agda-dev
- elpa-agda2-mode/armel unsatisfiable Depends: agda-bin (<< 2.5.3-5.1~)
- elpa-agda2-mode/armel unsatisfiable Depends: agda-bin (>= 2.5.3-5)
- elpa-agda2-mode/armel unsatisfiable Depends: libghc-agda-dev (<< 2.5.3-5.1~)
- elpa-agda2-mode/armel unsatisfiable Depends: libghc-agda-dev (>= 2.5.3-5)
- agda/armhf unsatisfiable Depends: agda-bin
- agda/armhf unsatisfiable Depends: libghc-agda-dev
- elpa-agda2-mode/armhf unsatisfiable Depends: agda-bin (<< 2.5.3-5.1~)
- elpa-agda2-mode/armhf unsatisfiable Depends: agda-bin (>= 2.5.3-5)
- elpa-agda2-mode/armhf unsatisfiable Depends: libghc-agda-dev (<< 2.5.3-5.1~)
- elpa-agda2-mode/armhf unsatisfiable Depends: libghc-agda-dev (>= 2.5.3-5)
- Piuparts tested OK - https://piuparts.debian.org/sid/source/a/agda.html
- Depends: agda ghc
- Depends: agda haskell-async
- Depends: agda haskell-blaze-html
- Depends: agda haskell-boxes
- Depends: agda haskell-data-hash
- Depends: agda haskell-edison-core
- Depends: agda haskell-edit-distance
- Depends: agda haskell-equivalence
- Depends: agda haskell-geniplate-mirror
- Depends: agda haskell-gitrev
- Depends: agda haskell-hashable
- Depends: agda haskell-hashtables
- Depends: agda haskell-ieee754
- Depends: agda haskell-monadplus
- Depends: agda haskell-mtl
- Depends: agda haskell-murmur-hash
- Depends: agda haskell-parallel
- Depends: agda haskell-regex-tdfa
- Depends: agda haskell-stm
- Depends: agda haskell-strict
- Depends: agda haskell-text
- Depends: agda haskell-unordered-containers
- Depends: agda haskell-uri-encode
- Depends: agda haskell-zlib
- Build-Depends(-Arch): agda haskell-edison-core
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.