Greetings,
Jacob -- "I've got _plenty_ of common sense!" "I just choose to ignore it."
Has anybody looked into packaging the SPARK 2014 tools (gnatprove)? Are
there some serious stumbling blocks?
- SPARK 2014 tools? Jacob Sparre Andersen
- Re: SPARK 2014 tools? Florian Schanda
