diff options
author | nytpu | 2022-05-15 12:00:53 -0600 |
---|---|---|
committer | nytpu | 2022-05-15 12:00:53 -0600 |
commit | dee1c524d2410fc131f19f77276378fe95bbf0f7 (patch) | |
tree | ce310c267e62c4d94bf65842d38eb587d9cea404 /PKGBUILD | |
parent | 122d316abd50c5a9c4f3365a907a0d0ca5abd83a (diff) | |
download | aur-dee1c524d2410fc131f19f77276378fe95bbf0f7.tar.gz |
upgpkg: spark2014-git 0.3.draft.r22234.g1895e0e8d1-1
spark2014-git: fix makedepends
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -3,8 +3,8 @@ # https://git.sr.ht/~nytpu/PKGBUILDs/ pkgname=spark2014-git -pkgver=0.3.draft.r22203.g30299b3035 -pkgrel=3 +pkgver=0.3.draft.r22234.g1895e0e8d1 +pkgrel=1 pkgdesc='Formally defined programming language based on Ada (GNAT FSF version)' url='https://www.spark-2014.org' arch=('x86_64') @@ -14,7 +14,7 @@ options=('!makeflags') depends=('python2') makedepends=('git' 'gprbuild' 'coq' 'gnatcoll-core' 'gprbuild' 'ocaml-num' - 'ocaml-menhir' 'ocaml-ocamlgraph' 'ocaml-zarith' 'ocaml-zip' + 'ocaml-menhir' 'ocaml-ocamlgraph' 'ocaml-zarith' 'ocaml-camlzip' 'ocaml-ocplib-simplex' 'ocaml-yojson' 'python-sphinx') optdepends=('alt-ergo: alternative prover' 'z3: alternative prover' |