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