diff options
| author | Mort Yao | 2019-10-20 01:57:33 +0200 |
|---|---|---|
| committer | Mort Yao | 2019-10-20 01:57:33 +0200 |
| commit | f705f3b623afa868566a40f52a4bbdd5438dc00d (patch) | |
| tree | 4bf1c01428bad22899a850e8b634f146d06534d7 /.SRCINFO | |
| parent | 978875bf860a69a4db7b69392cd503f88501d086 (diff) | |
| download | aur-f705f3b623afa868566a40f52a4bbdd5438dc00d.tar.gz | |
fstar 0.9.7.0-1
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Fri May 18 22:35:00 UTC 2018 +# Sat Oct 19 23:57:04 UTC 2019 pkgbase = fstar pkgdesc = A Higher-Order Effectful Language Designed for Program Verification - pkgver = 0.9.6.0 + pkgver = 0.9.7.0 pkgrel = 1 url = https://fstar-lang.org/ arch = i686 @@ -10,6 +10,7 @@ pkgbase = fstar license = Apache makedepends = ocaml>=4.03 makedepends = ocaml-findlib + makedepends = ocaml-num makedepends = ocaml-batteries makedepends = ocaml-stdint makedepends = zarith @@ -17,6 +18,7 @@ pkgbase = fstar makedepends = ocaml-fileutils makedepends = ocaml-pprint makedepends = ocaml-menhir + makedepends = ulex-git makedepends = ocaml-migrate-parsetree makedepends = ocaml-ppx_deriving makedepends = ocaml-ppx_deriving_yojson @@ -25,8 +27,8 @@ pkgbase = fstar provides = fstar conflicts = fstar-bin conflicts = fstar-git - source = https://github.com/FStarLang/FStar/archive/v0.9.6.0.zip - md5sums = bad094857baf83b8f556ce1348d39ab4 + source = https://github.com/FStarLang/FStar/archive/v0.9.7.0-alpha1.zip + md5sums = 754ecb3d2f6c234c78537707a87e6db2 pkgname = fstar |