⚠️ Warning: This is a draft ⚠️

This means it might contain formatting issues, incorrect code, conceptual problems, or other severe issues.

If you want to help to improve and eventually enable this page, please fork RosettaGit's repository and open a merge request on GitHub.

{{implementation|SPARK}} '''SPARK GPL''' is the version of the [[SPARK]] toolset licensed under the GNU Public License (GPL).

It is distributed by [http://libre.adacore.com/libre AdaCore].