gpo.zugaina.org

Search Portage & Overlays:

dev-lang/spark

Software development for high-reliability applications

Screenshots

  • spark-2021
    ~amd64
    ada_target_gnat_2020 ada_target_gnat_2021

    View      Download      Browse     License: GPL-3   
    Overlay: gentoo

Runtime Dependencies

spark-2021


dev-ada/gnatcoll-core[ada_target_gnat_2021
      (-)
?
,-ada_target_gnat_2020
      (-)
,shared]
sci-mathematics/alt-ergo
sci-mathematics/why3-for-spark