PureOS
Home
Migrations
pureos: dawn
eprover 3.2.5+ds-1
Migration excuse for: eprover 3.2.5+ds-1
Is candidate
Maintainer
Debian Math Team
Source
(version: 3.2.5+ds-1)
Destination
(old version: 3.2.0+ds-1)
Age
Package is 1 days old (needed 5)
Other Reasons
Migration status for eprover (3.2.0+ds-1 to 3.2.5+ds-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