RECENT POSTS

Libspark2012

May 26, 2018

SPARK 2012 Spark.Ada library

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