'''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].