summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authornytpu2022-05-15 12:00:53 -0600
committernytpu2022-05-15 12:00:53 -0600
commitdee1c524d2410fc131f19f77276378fe95bbf0f7 (patch)
treece310c267e62c4d94bf65842d38eb587d9cea404 /PKGBUILD
parent122d316abd50c5a9c4f3365a907a0d0ca5abd83a (diff)
downloadaur-dee1c524d2410fc131f19f77276378fe95bbf0f7.tar.gz
upgpkg: spark2014-git 0.3.draft.r22234.g1895e0e8d1-1
spark2014-git: fix makedepends
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 9302b49bd8bc..1ec0cd51ebe0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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'