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