AUR (en) - spark2014-git

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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.000030
First Submitted:	2018-08-07 08:53 (UTC)
Last Updated:	2023-03-18 14:49 (UTC)

python (python32^AUR, python37^AUR, python310^AUR)
coq (make)
git (git-git^AUR) (make)
gnatcoll-core^AUR (gnatcoll-core-git^AUR) (make)
gprbuild^AUR (gprbuild-git^AUR, gprbuild-bootstrap^AUR) (make)
ocaml-camlzip^AUR (make)
ocaml-menhir^AUR (make)
ocaml-num (make)
ocaml-ocamlgraph^AUR (ocaml-ocamlgraph-git^AUR, ocaml-ocamlgraph^AUR) (make)
ocaml-ocplib-simplex-git^AUR (make)
ocaml-yojson^AUR (ocaml-yojson-git^AUR, ocaml-yojson^AUR) (make)
ocaml-zarith (make)
python-sphinx (python-sphinx-git^AUR) (make)
python-sphinx_rtd_theme (make)
alt-ergo (optional) – alternative prover
cvc4 (cvc4-git^AUR) (optional) – alternative prover
z3 (z3-java^AUR, z3-git^AUR) (optional) – alternative prover