diff options
| author | Mort Yao | 2019-10-20 02:11:35 +0200 |
|---|---|---|
| committer | Mort Yao | 2019-10-20 02:11:35 +0200 |
| commit | a40922f66602b09b6e1d1154e074146c607360db (patch) | |
| tree | 5a25bbebc0492de1888c35c59bae53fd2cd1999e /.SRCINFO | |
| parent | 12fdc4ea675b09711eee215973ade4967c0188c6 (diff) | |
| download | aur-a40922f66602b09b6e1d1154e074146c607360db.tar.gz | |
fstar-bin 0.9.7.0-1
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 |