diff options
| author | crave | 2018-10-13 11:09:13 +0200 |
|---|---|---|
| committer | crave | 2018-10-13 11:09:13 +0200 |
| commit | a50749f69c5769c8e442b6465b8826e679916ffc (patch) | |
| tree | 3bd698f22d1e44c59a798525df35d4dd3806f6c1 | |
| parent | 3cdb586f50a82ef41fef68cbd12bb84ef78356f9 (diff) | |
| download | aur-a50749f69c5769c8e442b6465b8826e679916ffc.tar.gz | |
Require ulex-git
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,14 +4,14 @@ pkgname=ocaml-fstar _oname=fstar pkgver=0.9.6.0 -pkgrel=3 +pkgrel=4 pkgdesc="An ML-like language with a type system for program verification." arch=('i686' 'x86_64') url='' license=('Apache') options=('!strip' '!makeflags' 'staticlibs') depends=('ocaml') -makedepends=('ocaml-findlib' 'ocaml-yojson' 'ocaml-stdint' 'ocamlbuild' 'ocaml-batteries' 'ocaml-zarith' 'ocaml-ppx_deriving_yojson' 'ocaml-pprint' 'ocaml-fileutils' 'ulex' 'ocaml-ppx_deriving' 'ocaml-menhir') +makedepends=('ocaml-findlib' 'ocaml-yojson' 'ocaml-stdint' 'ocamlbuild' 'ocaml-batteries' 'ocaml-zarith' 'ocaml-ppx_deriving_yojson' 'ocaml-pprint' 'ocaml-fileutils' 'ulex-git' 'ocaml-ppx_deriving' 'ocaml-menhir') source=('https://github.com/FStarLang/FStar/archive/v0.9.6.0.tar.gz') sha384sums=('831cf86c861f69ebc536633874e924e37b851494778eb0e1e435c5d46272d59e7611642cf14ba0289f7ca8c9a379a9f0') |