mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-27 05:10:36 +00:00
780c307545
This is a source-files only Ada library required to build the upcoming port dns/ironsides.
7 lines
297 B
Plaintext
7 lines
297 B
Plaintext
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
|