diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Wed Feb 8 14:25:37 UTC 2017 +# Wed Feb 22 03:11:05 UTC 2017 pkgbase = fstar pkgdesc = A Higher-Order Effectful Language Designed for Program Verification pkgver = 0.9.4.0 - pkgrel = 1 + pkgrel = 2 url = https://fstar-lang.org/ arch = i686 arch = x86_64 @@ -13,6 +13,9 @@ pkgbase = fstar makedepends = ocaml-batteries makedepends = ocaml-findlib depends = z3 + depends = zarith + depends = ocaml-yojson + depends = ocaml-pprint provides = fstar conflicts = fstar-bin conflicts = fstar-git |