Migration excuse for: agda-stdlib 2.1-3

Is candidate
Maintainer Debian Haskell Group
Source (version: 2.1-3)
Destination (old version: -)

Age

Package is 1 days old (needed 5)

Migrates After

  • agda

Other Reasons

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