diff options
| author | Mort Yao | 2019-10-20 01:55:26 +0200 |
|---|---|---|
| committer | Mort Yao | 2019-10-20 01:55:26 +0200 |
| commit | 7160d293ddb955011870f454f5d02c65940db79e (patch) | |
| tree | 3b56cb87d4ea16aee2d9225489f1498f3598f8fd /PKGBUILD | |
| parent | 94d9340d7d0940dad9fddb83bb36cef11f05f884 (diff) | |
| download | aur-fstar-git.tar.gz | |
fstar-git 20191019-1
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") |