7 lines
297 B
Text
7 lines
297 B
Text
|
At least one port requires exactly the Spark.Ada library that came
|
||
|
|
with SPARK 2012. SPARK itself is not in ports -- SPARK 2014 is the
|
||
|
|
first version planned to arrive -- so this is a separately packaged
|
||
|
|
SPARK 2012 library to be compiled with the GNAT Ada compiler.
|
||
|
|
|
||
|
|
WWW: http://www.spark-2014.org
|