On Fri, 21 Oct 2022, Ivan Perez wrote:
Hi, On 2022-10-18 05:02, Ivan Perez wrote:On 2022-10-18 00:10, Scott Talbert wrote:And just as soon as it made it into bookworm, it's scheduled to be kicked out on Nov 16 due to cvc4 being FTBFS (haskell-what4 build depends on it for tests). [...] :( I suppose I could work around that by disabling more tests, if it doesn't get fixed.Please...!Any luck?
I'm holding out hope for now that someone might fix the cvc4 FTBFS. I fixed one myself, but there's another issue beyond that because of API changes in cryptominisat that are not immediately obvious to fix.
I might take a look at packaging cvc5, too, if it doesn't seem too difficult.
I wanted to give you a heads up on a change coming up in Copilot 3.12 (release date Nov 7th):We've decided to externalize a module into a separate library, to be called copilot-prettyprinter. Several existing copilot packages will depend on it.AFAICT, we won't need to break up any other packages into smaller libraries. This will be the last.
Thanks for the heads-up on that. I don't think it will be too bad, but we'll have to wait on the NEW queue again, but turnaround has been pretty quick lately.
I'd be happy to start contributing to DHG if possible. I'll send a separate email about that. Hopefully I can minimize the burden on your side and also help with other packages.
That would be great! Scott