diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,14 +1,14 @@ # Maintainer: Mort Yao <soi@mort.ninja> pkgname=fstar-git -pkgver=20180518 +pkgver=20191019 pkgrel=1 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification' url='https://fstar-lang.org/' license=('Apache') arch=('i686' 'x86_64') depends=('z3-git') -makedepends=('ocaml>=4.03' 'ocaml-findlib' 'ocaml-batteries' 'ocaml-stdint' 'zarith' 'ocaml-yojson' 'ocaml-fileutils' 'ocaml-pprint' 'ocaml-menhir' 'ulex-git' 'ocaml-migrate-parsetree' 'ocaml-ppx_deriving' 'ocaml-ppx_deriving_yojson' 'ocaml-process') +makedepends=('ocaml>=4.03' 'ocaml-findlib' 'ocaml-num' 'ocaml-batteries' 'ocaml-stdint' 'zarith' 'ocaml-yojson' 'ocaml-fileutils' 'ocaml-pprint' 'ocaml-menhir' 'ulex-git' 'ocaml-migrate-parsetree' 'ocaml-ppx_deriving' 'ocaml-ppx_deriving_yojson' 'ocaml-process') provides=('fstar') conflicts=('fstar' 'fstar-bin') source=("${pkgname}::git://github.com/FStarLang/FStar.git") |