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 /.SRCINFO | |
parent | 49bdfe05d3eb1470fd93dbc1abd50461691e9f1f (diff) | |
download | aur-767b4e7384931f22775d5855eb4f3e8a8fee0bd0.tar.gz |
Require ocaml-findlib and dune
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 3 insertions, 1 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 |