On 2022-10-21 22:11, Scott Talbert 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.
Many thanks, Ivan