diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,17 +1,17 @@ # Generated by mksrcinfo v8 -# Tue May 29 12:43:34 UTC 2018 +# Sun Oct 20 00:10:51 UTC 2019 pkgbase = fstar-bin pkgdesc = A Higher-Order Effectful Language Designed for Program Verification - pkgver = 0.9.6.0 - pkgrel = 2 + pkgver = 0.9.7.0 + pkgrel = 1 url = https://fstar-lang.org/ arch = x86_64 license = Apache provides = fstar conflicts = fstar conflicts = fstar-git - source = https://github.com/FStarLang/FStar/releases/download/v0.9.6.0/fstar_0.9.6.0_Linux_x86_64.tar.gz - md5sums = 789116db65f7fde743702ec641f7ccee + source = https://github.com/FStarLang/FStar/releases/download/V0.9.7.0-alpha1/fstar_0.9.7.0-alpha1_Linux_x86_64.tar.gz + md5sums = 31316d6dc26e12e1c69b516bfdeeea3f pkgname = fstar-bin |