Search Criteria
Package Details: spark2014 12.fsf-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/spark2014.git (read-only, click to copy) |
---|---|
Package Base: | spark2014 |
Description: | Formally defined programming language based on Ada (GNAT FSF version) |
Upstream URL: | https://www.spark-2014.org |
Licenses: | GPL |
Submitter: | charlie5 |
Maintainer: | charlie5 |
Last Packager: | charlie5 |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2023-01-12 09:17 (UTC) |
Last Updated: | 2023-01-12 09:17 (UTC) |
Dependencies (17)
- python (nogil-python, python36, python32, python39, python38, python37, python311, python312)
- coq (make)
- git (git-vfs, git-git, git-run-command-patch-git) (make)
- gnatcoll-core (gnatcoll-core-git) (make)
- gprbuild (gprbuild-git) (make)
- ocaml-camlzip (make)
- ocaml-menhir (ocaml-menhir-compcert) (make)
- ocaml-num (make)
- ocaml-ocamlgraph (ocaml-ocamlgraph-git) (make)
- ocaml-ocplib-simplex-git (make)
- ocaml-yojson (ocaml-yojson-git, ocaml-yojson) (make)
- ocaml-zarith (make)
- python-sphinx (python-sphinx-git, python-sphinx-2) (make)
- python-sphinx_rtd_theme (make)
- alt-ergo (optional) – alternative prover
- cvc4 (cvc4-git) (optional) – alternative prover
- z3 (z3-java, z3-git) (optional) – alternative prover