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 | |
| parent | 12fdc4ea675b09711eee215973ade4967c0188c6 (diff) | |
| download | aur-fstar-bin.tar.gz | |
fstar-bin 0.9.7.0-1
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | PKGBUILD | 9 |
2 files changed, 10 insertions, 9 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 @@ -1,8 +1,9 @@ # Maintainer: Mort Yao <soi@mort.ninja> pkgname=fstar-bin -pkgver=0.9.6.0 -pkgrel=2 +pkgver=0.9.7.0 +_subver=-alpha1 +pkgrel=1 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification' url='https://fstar-lang.org/' license=('Apache') @@ -10,8 +11,8 @@ arch=('x86_64') depends=() provides=('fstar') conflicts=('fstar' 'fstar-git') -source=("https://github.com/FStarLang/FStar/releases/download/v${pkgver}/fstar_${pkgver}_Linux_x86_64.tar.gz") -md5sums=('789116db65f7fde743702ec641f7ccee') +source=("https://github.com/FStarLang/FStar/releases/download/V${pkgver}${_subver}/fstar_${pkgver}${_subver}_Linux_x86_64.tar.gz") +md5sums=('31316d6dc26e12e1c69b516bfdeeea3f') package() { cd "fstar" |