diff options
| author | crave | 2018-10-13 11:10:03 +0200 |
|---|---|---|
| committer | crave | 2018-10-13 11:10:03 +0200 |
| commit | 5f753704b9bbc7202536595a2551cfb3c4fb052d (patch) | |
| tree | ed43b83724b11d7c627ce95fbe6a777d443adf27 | |
| parent | a50749f69c5769c8e442b6465b8826e679916ffc (diff) | |
| download | aur-5f753704b9bbc7202536595a2551cfb3c4fb052d.tar.gz | |
Update .SRCINFO
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = ocaml-fstar pkgdesc = An ML-like language with a type system for program verification. pkgver = 0.9.6.0 - pkgrel = 3 + pkgrel = 4 arch = i686 arch = x86_64 license = Apache @@ -14,7 +14,7 @@ pkgbase = ocaml-fstar makedepends = ocaml-ppx_deriving_yojson makedepends = ocaml-pprint makedepends = ocaml-fileutils - makedepends = ulex + makedepends = ulex-git makedepends = ocaml-ppx_deriving makedepends = ocaml-menhir depends = ocaml |