Excuse for cbmc
- Migration status for cbmc (- to 5.12-5): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- Updating cbmc would introduce bugs in testing: #984008
- cbmc unsatisfiable Build-Depends(-Arch) on amd64: libmaven-compiler-plugin-java (<< 3.8.2~)
- cbmc unsatisfiable Build-Depends(-Arch) on arm64: libmaven-compiler-plugin-java (<< 3.8.2~)
- cbmc unsatisfiable Build-Depends(-Arch) on armel: libmaven-compiler-plugin-java (<< 3.8.2~)
- cbmc unsatisfiable Build-Depends(-Arch) on armhf: libmaven-compiler-plugin-java (<< 3.8.2~)
- cbmc unsatisfiable Build-Depends(-Arch) on i386: libmaven-compiler-plugin-java (<< 3.8.2~)
- cbmc unsatisfiable Build-Depends(-Arch) on mips64el: libmaven-compiler-plugin-java (<< 3.8.2~)
- cbmc unsatisfiable Build-Depends(-Arch) on mipsel: libmaven-compiler-plugin-java (<< 3.8.2~)
- cbmc unsatisfiable Build-Depends(-Arch) on ppc64el: libmaven-compiler-plugin-java (<< 3.8.2~)
- cbmc unsatisfiable Build-Depends(-Arch) on s390x: libmaven-compiler-plugin-java (<< 3.8.2~)
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/cbmc.html
- 1006 days old (needed 5 days)
Excuses generated on: Sun Feb 5 05:10:45 2023 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.
Experimental manual migration pseudo-excuses (YAML).