SPARK GPL: Difference between revisions
Content added Content deleted
(Created SPARK GPL page) |
mNo edit summary |
||
| Line 2: | Line 2: | ||
'''SPARK GPL''' is the version of the [[SPARK]] toolset licensed under the GNU Public License (GPL). |
'''SPARK GPL''' is the version of the [[SPARK]] toolset licensed under the GNU Public License (GPL). |
||
It is distributed by |
It is distributed by [http://libre.adacore.com/libre AdaCore]. |
||
Latest revision as of 02:00, 9 November 2011
SPARK GPL is an implementation of SPARK.
Other implementations of SPARK.
SPARK GPL is the version of the SPARK toolset licensed under the GNU Public License (GPL).
It is distributed by AdaCore.