Skip to content

Possibility to use system-installed flint

Смирнов Александр requested to merge sysflint into dev

Fuel submodule: Remove flint, gmp and mpfr from Makefile, asssuming the presence of system-wide installation.

Merge request reports