'''SPARK GPL''' is the version of the SPARK toolset licensed under the GNU Public License (GPL).

It is distributed by AdaCore.