Closed wxmerkt closed 3 years ago
3.9 is not available on 20.04. 6.0 is available on both 18.04 and 20.04.
Upgrading to a newer version (e.g. 10) breaks the include order requirement for Pinocchio by reordering includes separated by new lines. This would break compilation.
3.9 is not available on 20.04. 6.0 is available on both 18.04 and 20.04.
Upgrading to a newer version (e.g. 10) breaks the include order requirement for Pinocchio by reordering includes separated by new lines. This would break compilation.