diff options
| author | Mort Yao | 2017-02-08 15:24:29 +0100 |
|---|---|---|
| committer | Mort Yao | 2017-02-08 15:25:45 +0100 |
| commit | 2bc7958aa48cde40bb1ff957624dcb0bb5dd01a6 (patch) | |
| tree | ae24f50508b0098531846bf40743f172d89b38ae /.SRCINFO | |
| parent | ae951d14955e86245e37a48ab73bcf9c0e33bdf9 (diff) | |
| download | aur-2bc7958aa48cde40bb1ff957624dcb0bb5dd01a6.tar.gz | |
fstar 0.9.4.0-1
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Thu Sep 1 21:00:55 UTC 2016 +# Wed Feb 8 14:25:37 UTC 2017 pkgbase = fstar pkgdesc = A Higher-Order Effectful Language Designed for Program Verification - pkgver = 0.9.2.0 - pkgrel = 2 + pkgver = 0.9.4.0 + pkgrel = 1 url = https://fstar-lang.org/ arch = i686 arch = x86_64 @@ -16,8 +16,8 @@ pkgbase = fstar provides = fstar conflicts = fstar-bin conflicts = fstar-git - source = https://github.com/FStarLang/FStar/archive/v0.9.2.0.zip - md5sums = ad66b5c9390ace4d3f9006898e2fbb9f + source = https://github.com/FStarLang/FStar/archive/v0.9.4.0.zip + md5sums = f9bd0fedbb78f3e853856314e90ec824 pkgname = fstar |