Please remove coquelicot 3.4.4-5build1 and coq-interval 4.11.4-3build1 from stonking-proposed.
Both are new in Ubuntu (not in the release pocket) and have been in stonking-proposed for 24 days. coquelicot's examples autopkgtest fails with the current Coq/Rocq (see the description), and coq-interval is only blocked because it depends on coquelicot. Debian removed both from testing; coquelicot's autopkgtest fails there too. Nothing else in proposed needs them. They will autosync again once the Coq 9 incompatibility is fixed. ** Tags added: stonking -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2167847 Title: coquelicot: autopkgtest regression To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/coq-interval/+bug/2167847/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
