diff options
| author | Mort Yao | 2016-03-13 04:35:27 +0100 |
|---|---|---|
| committer | Mort Yao | 2016-03-13 04:35:27 +0100 |
| commit | 04b4ef359c5644042878c6aff7bfc17d667118b7 (patch) | |
| tree | 5790c6d509c8a04bdf1fb47274228b6b36d08d1e /.SRCINFO | |
| download | aur-04b4ef359c5644042878c6aff7bfc17d667118b7.tar.gz | |
fstar-bin 0.9.2.0-1
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..b2acad223a5f --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +# Generated by mksrcinfo v8 +# Sun Mar 13 03:35:12 UTC 2016 +pkgbase = fstar-bin + pkgdesc = A Higher-Order Effectful Language Designed for Program Verification + pkgver = 0.9.2.0 + pkgrel = 1 + url = https://fstar-lang.org/ + arch = x86_64 + license = Apache + depends = z3 + provides = fstar + conflicts = fstar + conflicts = fstar-git + source = https://github.com/FStarLang/FStar/releases/download/v0.9.2.0/fstar_0.9.2.0_Linux_x86_64.tar.gz + md5sums = 60962bd46b87c68ec07dd50cba652e29 + +pkgname = fstar-bin + |