diff options
| author | Mort Yao | 2019-10-20 16:48:17 +0200 |
|---|---|---|
| committer | Mort Yao | 2019-10-20 16:48:17 +0200 |
| commit | ab0d11b8f12927433ec586b55501d39b5c956d3b (patch) | |
| tree | 39d4b5e00e71f0e815ed3035db0cfa1e5e5ad88b /.SRCINFO | |
| parent | f705f3b623afa868566a40f52a4bbdd5438dc00d (diff) | |
| download | aur-ab0d11b8f12927433ec586b55501d39b5c956d3b.tar.gz | |
fstar 0.9.7.0-2
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Sat Oct 19 23:57:04 UTC 2019 +# Sun Oct 20 14:41:54 UTC 2019 pkgbase = fstar pkgdesc = A Higher-Order Effectful Language Designed for Program Verification pkgver = 0.9.7.0 - pkgrel = 1 + pkgrel = 2 url = https://fstar-lang.org/ arch = i686 arch = x86_64 @@ -28,7 +28,9 @@ pkgbase = fstar conflicts = fstar-bin conflicts = fstar-git source = https://github.com/FStarLang/FStar/archive/v0.9.7.0-alpha1.zip + source = fix-ocaml-4.08.patch md5sums = 754ecb3d2f6c234c78537707a87e6db2 + md5sums = 1bbf449622e26f6ea2d414b6d9866e52 pkgname = fstar |