Public bug reported:
Test failures on this package are blocking the migration of Ocaml in
proposed, which in turn is blocking LLVM, which in turn is blocking
packages like the Rust toolchain. Those packages are having their
default versions updated currently, with a strict deadline for Stonking.
Since this is a universe package, seemingly not being actively
maintained by anyone, I think removing it to unblock critical packages
is the right move.
It is a leaf package:
x reverse-depends -r stonking src:coq-quickchick
No reverse dependencies found
** Affects: coq-quickchick (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2166221
Title:
Please remove coq-quickchick from stonking
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coq-quickchick/+bug/2166221/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
