gpo.zugaina.org

Search Portage & Overlays:

dev-lang/spark

Software development for high-reliability applications

Screenshots

  • spark-2021
    ~amd64
    ada_target_gnat_2021 ada_target_gcc_12 ada_target_gcc_13 ada_target_gcc_14 ada_target_gcc_15

    View      Download      Browse     License: GPL-3   
    Overlay: gentoo

Runtime Dependencies

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