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-dev
libghc-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)