dev-lang/spark
Software development for high-reliability applications
Screenshots
View
Download
BrowseRuntime Dependencies
spark-2024.01.11-r2
dev-ada/gnatcoll-core[ada_target_gcc_14
(-)
?
,-ada_target_gnat_2021
(-)
,-ada_target_gcc_12
(-)
,-ada_target_gcc_13
(-)
,-ada_target_gcc_15
(-)
,shared]
~dev-ada/gpr-24.2.0[ada_target_gcc_14
(-)
?
,-ada_target_gnat_2021
(-)
,-ada_target_gcc_12
(-)
,-ada_target_gcc_13
(-)
,-ada_target_gcc_15
(-)
]
sci-mathematics/alt-ergo
sci-mathematics/why3-for-spark
spark-2021
dev-ada/gnatcoll-core[ada_target_gnat_2021
(-)
?
,-ada_target_gcc_12
(-)
,-ada_target_gcc_13
(-)
,-ada_target_gcc_14
(-)
,-ada_target_gcc_15
(-)
,shared]
sci-mathematics/alt-ergo
sci-mathematics/why3-for-spark