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
