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