diff options
| author | Simon Schubert | 2020-05-25 15:25:26 +0200 |
|---|---|---|
| committer | Simon Schubert | 2020-05-25 15:25:26 +0200 |
| commit | 3628e6ba55a7a76336fb625ed7a18d87def17f29 (patch) | |
| tree | cbbbe32525f08f4066d641ff4322b31da3f10398 /PKGBUILD | |
| parent | 8beba690d5983338356042d06c535ad1e65e841e (diff) | |
| download | aur-3628e6ba55a7a76336fb625ed7a18d87def17f29.tar.gz | |
use ocaml-zip, which is a newer version with bugfixes
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgname=spark2014-git pkgver=0.3.draft.r19318.g3559419bef -pkgrel=2 +pkgrel=3 pkgdesc='formally defined programming language based on ada (gnat fsf)' url='https://www.spark-2014.org' @@ -11,7 +11,7 @@ options=('!makeflags') depends=('gprbuild' 'python2') makedepends=('git' 'coq' 'gnatcoll-core' 'gprbuild' 'ocaml-num' 'ocaml-menhir' - 'ocaml-ocamlgraph' 'ocaml-zarith' 'ocaml-camlzip' + 'ocaml-ocamlgraph' 'ocaml-zarith' 'ocaml-zip' 'ocaml-ocplib-simplex' 'python-sphinx') optdepends=('alt-ergo: alternative prover' 'z3: alternative prover' |