Open SnarkBoojum opened 2 years ago
I believe this is antic's problem. The new antic release should fix it.
Ah, indeed, you're right!
Sorry for the inconvenience and thanks for the quick answer!
Sorry to reopen: I was satisfied because 0.4.1 worked on my box (an amd64), but I have a report that says a new release with the last commit would be needed.
I was considering updating flint in Debian to 2.9.0, but it looks like it breaks calcium's package. Running
./configure
thenmake
is ok, but tryingmake check
gives:and compiling the doc with sphinx also fails because of an abort trying to read pycalcium.