PureOS
Home
Migrations
pureos: dawn
agda 2.6.4.3-1
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>