jerebertho
Results
2
comments of
jerebertho
Hi @epitavy, Many thanks! Unfortunately, it seems that make check fails on MacOS at the moment. I am not sure what is wrong though.
@vneiger The only thing that I see is that indeed, it downloads Flint-3.2.1 while for all the previous PRs such as #199, it used Flint-3.1.3-p1.