Search Criteria
Package Details: spark2014-git 0.3.draft.r23092.g3e6f33a5e9-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/spark2014-git.git (read-only, click to copy) |
|---|---|
| Package Base: | spark2014-git |
| Description: | Formally defined programming language based on Ada (GNAT FSF version) |
| Upstream URL: | https://www.spark-2014.org |
| Licenses: | GPL |
| Conflicts: | spark2014 |
| Provides: | spark2014 |
| Submitter: | Earnest |
| Maintainer: | nytpu |
| Last Packager: | nytpu |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2018-08-07 08:53 (UTC) |
| Last Updated: | 2023-03-18 14:49 (UTC) |
Dependencies (17)
- python
- coq (rocq) (make)
- git (git-gitAUR, git-glAUR) (make)
- gnatcoll-coreAUR (gnatcoll-core-gitAUR) (make)
- gprbuildAUR (gprbuild-gitAUR, gprbuild-bootstrapAUR) (make)
- ocaml-camlzipAUR (make)
- ocaml-menhirAUR (make)
- ocaml-num (make)
- ocaml-ocamlgraphAUR (ocaml-ocamlgraph-gitAUR, ocaml-ocamlgraphAUR) (make)
- ocaml-ocplib-simplex-gitAUR (make)
- ocaml-yojsonAUR (ocaml-yojson-gitAUR) (make)
- ocaml-zarith (make)
- python-sphinx (python-sphinx-gitAUR) (make)
- python-sphinx_rtd_theme (make)
- alt-ergo (optional) – alternative prover
- cvc4 (optional) – alternative prover
- z3 (z3-gitAUR) (optional) – alternative prover