Closed SnarkBoojum closed 4 years ago
Flint used to compile perfectly on all major Debian architectures ; it's now failing on four of them; see the build logs for details.
Since #784, #785 and #786 are now closed (and should be fixed in Flint 2.6.1), can this issue be closed as well? Or is there anything left to be done?
Build logs are ok : closing indeed!
Flint used to compile perfectly on all major Debian architectures ; it's now failing on four of them; see the build logs for details.