diff options
| author | Mort Yao | 2016-03-13 04:19:35 +0100 |
|---|---|---|
| committer | Mort Yao | 2016-03-13 04:19:35 +0100 |
| commit | cadaa576b2d3a30125ff6eb476c07f34692783ed (patch) | |
| tree | d78de9e47d8bce05089df97bf707de50a065a5e9 /.SRCINFO | |
| download | aur-cadaa576b2d3a30125ff6eb476c07f34692783ed.tar.gz | |
fstar 0.9.2.0-1
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..aea426048f05 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,23 @@ +# Generated by mksrcinfo v8 +# Sun Mar 13 03:19:03 UTC 2016 +pkgbase = fstar + pkgdesc = A Higher-Order Effectful Language Designed for Program Verification + pkgver = 0.9.2.0 + pkgrel = 1 + url = https://fstar-lang.org/ + arch = i686 + arch = x86_64 + license = Apache + makedepends = fsharp + makedepends = ocaml>=4.02 + makedepends = ocaml-batteries + makedepends = ocaml-findlib + depends = z3 + provides = fstar + conflicts = fstar-bin + conflicts = fstar-git + source = https://github.com/FStarLang/FStar/archive/v0.9.2.0.zip + md5sums = ad66b5c9390ace4d3f9006898e2fbb9f + +pkgname = fstar + |