Port variant | standard |
Summary | SPARK 2012 Spark.Ada library |
Package version | 2012_1 |
Homepage | http://www.spark-2014.org |
Keywords | devel, ada |
Maintainer | John Marino |
License | GPLv3+ |
Other variants | There are no other variants. |
Ravenports | Buildsheet | History |
Ravensource | Port Directory | History |
Last modified | 13 AUG 2021, 16:27:41 UTC |
Port created | 22 APR 2017, 04:32:16 UTC |
single | 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. |
Build (only) | gprbuild:primary:standard |
main | http://downloads.dragonlace.net/src/ |
ironsides:standard | Authoritative DNS server verified by SPARK/Ada |