780c307545
This is a source-files only Ada library required to build the upcoming port dns/ironsides.
6 lines
297 B
Text
6 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
|