dev-lang/spark
Software development for high-reliability applications
USE Flags
ada_target_gnat_2021
* This flag is undocumented *
ada_target_gcc_12
* This flag is undocumented *
ada_target_gcc_13
* This flag is undocumented *
ada_target_gcc_14
* This flag is undocumented *
ada_target_gcc_15
* This flag is undocumented *