SPARK2014 and FSF GCC Forward in code [email protected] (Simon Wright) 20 February 2022 at 18:01 This is a note about building SPARK (i.e. gnatprove) against an FSF GCC. Read more ยป