Migration excuse for: agda 2.6.4.3-1

Is candidate
Maintainer Debian Haskell Group
Source (version: 2.6.4.3-1)
Destination (old version: -)

Age

Package is 1 days old (needed 5)

Migrates After

  • agda-stdlib

Other Reasons

  • Migration status for agda (- to 2.6.4.3-1): Waiting for test results or another package, or too young (no action required now - check later)
  • Too young, only 1 of 5 days old
  • Depends: agda <a href="#agda-stdlib">agda-stdlib</a>