Hi Scott, On 23-11-2022 15:26, Scott Talbert wrote:
Hi Release Team,I'm trying to understand why this package (haskell-copilot-theorem[1]) isn't migrating to testing. It looks like it is saying that it is being blocked by haskell-what4, but haskell-what4 has already migrated to testing on October 17. Also, if I look at excuses for haskell-what4, there aren't any.The only thing I can possibly think is that it is referring to migration of binNMU's, but I can't see any way to see the status of those. Is it possible?Thanks, Scott [1] https://qa.debian.org/excuses.php?package=haskell-copilot-theorem
It says: haskell-copilot-theorem haskell-parameterized-utils/ppc64el (not considered)Which means that haskell-copilot-theorem on ppc64el depends on src:haskell-parameterized-utils.
Picking one of the binaries from that source and asking rmadison says: paul@mulciber ~ $ rmadison libghc-parameterized-utils-devlibghc-parameterized-utils-dev | 2.1.5.0-2+b1 | testing | amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x libghc-parameterized-utils-dev | 2.1.5.0-2+b2 | unstable | mips64el, mipsel, ppc64el libghc-parameterized-utils-dev | 2.1.5.0-2+b3 | unstable | armhf, i386, s390x libghc-parameterized-utils-dev | 2.1.5.0-2+b4 | unstable | amd64, arm64, armel
So indeed, the binNMU's of that source are out-of-sync between testing and unstable.
Searching in the excuses [2] I see this:Depends: haskell-parameterized-utils/amd64 <a href="#haskell-th-abstraction">haskell-th-abstraction</a>
So that points at haskell-th-abstraction.... (which seems in a similar situation but then with haskell-clash-prelude)
Paul[2] "source: haskell-parameterized-utils" in https://release.debian.org/britney/excuses.yaml
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature