Testing: Excuse for dafny
- Migration status for dafny (- to 2.3.0+dfsg-0.1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- autopkgtest for dafny/2.3.0+dfsg-0.1: amd64: Pass, arm64: Pass, armel: Pass, armhf: Pass, i386: Pass, ppc64el: Pass, riscv64: Regression or new test ♻, s390x: Pass
- Build-Depends(-Arch): dafny boogie (not considered)
- Depends: dafny boogie (not considered)
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/d/dafny.html
- Reproducible on amd64 - info ♻
- Reproducible on arm64 - info ♻
- New but not reproducible on armhf - info ♻
- Reproducible on i386 - info ♻
- 1639 days old (needed 5 days)
- Depends: dafny boogie
Excuses generated on: Tue Jul 16 07:05:04 2024 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).