diff options
| author | Andrew O'Neill | 2020-08-05 11:05:05 -0400 |
|---|---|---|
| committer | Andrew O'Neill | 2020-08-05 11:05:05 -0400 |
| commit | 767b4e7384931f22775d5855eb4f3e8a8fee0bd0 (patch) | |
| tree | c6ef798ea59a6bc38e7b05bb30ca5cb95f8d4429 | |
| parent | 49bdfe05d3eb1470fd93dbc1abd50461691e9f1f (diff) | |
| download | aur-767b4e7384931f22775d5855eb4f3e8a8fee0bd0.tar.gz | |
Require ocaml-findlib and dune
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 3 deletions
@@ -1,11 +1,13 @@ pkgbase = why3 pkgdesc = A platform for deductive program verification pkgver = 1.3.1 - pkgrel = 2 + pkgrel = 3 url = http://why3.lri.fr/ arch = x86_64 license = LGPL depends = gtksourceview2 + depends = dune + depends = ocaml-findlib depends = ocaml depends = ocaml-menhir depends = rubber @@ -6,13 +6,13 @@ pkgname=why3 pkgver=1.3.1 _pkgvercode=38291 # Update when bumping release -pkgrel=2 +pkgrel=3 pkgdesc='A platform for deductive program verification' arch=('x86_64') options=('!makeflags') url='http://why3.lri.fr/' license=('LGPL') -depends=('gtksourceview2' 'ocaml' 'ocaml-menhir' 'rubber' 'gtksourceview2' 'lablgtk2' 'ocaml-ocamlgraph' 'ocaml-num' 'ocaml-zarith' 'ocaml-zip' 'coq' 'isabelle') +depends=('gtksourceview2' 'dune' 'ocaml-findlib' 'ocaml' 'ocaml-menhir' 'rubber' 'gtksourceview2' 'lablgtk2' 'ocaml-ocamlgraph' 'ocaml-num' 'ocaml-zarith' 'ocaml-zip' 'coq' 'isabelle') source=("https://gforge.inria.fr/frs/download.php/file/${_pkgvercode}/${pkgname}-${pkgver}.tar.gz") sha256sums=('7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b') |