On Mon, 31 Oct 2022, Ivan Perez wrote:
Disabling the tests might be the best option for now.Hi,I'm just following up on this. Has the situation been resolved? Is the package still at risk of being pulled out?I've been keeping an eye on the debian package pages and I don't see anything new on the changelogs for CVC4, what4, etc., but I may just not be looking in the right place.
Yes, I fixed the FTBFSs in CVC4, which should resolve the issue and prevent anything from being kicked out, you can see that in the "news" section for CVC4 on the tracker [1]. The messages about autoremoval on the various pages should disappear in a day or two.
Scott [1] https://tracker.debian.org/pkg/cvc4