diff options
| author | Mort Yao | 2017-09-02 17:53:24 +0200 |
|---|---|---|
| committer | Mort Yao | 2017-09-02 17:53:24 +0200 |
| commit | 95ee635ea034f82e42a3e9ce0bc9ec62ea9dc244 (patch) | |
| tree | 98c933a211b7aca08556fbe709eb10bf9004d1e0 | |
| parent | 43c42bb95878e58adf73f802f280caa64cb757bf (diff) | |
| download | aur-95ee635ea034f82e42a3e9ce0bc9ec62ea9dc244.tar.gz | |
fstar 0.9.5.0-1
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 8 insertions, 8 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Wed Feb 22 03:11:05 UTC 2017 +# Sat Sep 2 15:53:04 UTC 2017 pkgbase = fstar pkgdesc = A Higher-Order Effectful Language Designed for Program Verification - pkgver = 0.9.4.0 - pkgrel = 2 + pkgver = 0.9.5.0 + pkgrel = 1 url = https://fstar-lang.org/ arch = i686 arch = x86_64 @@ -19,8 +19,8 @@ pkgbase = fstar provides = fstar conflicts = fstar-bin conflicts = fstar-git - source = https://github.com/FStarLang/FStar/archive/v0.9.4.0.zip - md5sums = f9bd0fedbb78f3e853856314e90ec824 + source = https://github.com/FStarLang/FStar/archive/v0.9.5.0.zip + md5sums = 07e8de1d8dcfe3c62774c3e141fd9382 pkgname = fstar @@ -1,8 +1,8 @@ # Maintainer: Mort Yao <soi@mort.ninja> pkgname=fstar -pkgver=0.9.4.0 -pkgrel=2 +pkgver=0.9.5.0 +pkgrel=1 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification' url='https://fstar-lang.org/' license=('Apache') @@ -12,7 +12,7 @@ makedepends=('fsharp' 'ocaml>=4.02' 'ocaml-batteries' 'ocaml-findlib') provides=('fstar') conflicts=('fstar-bin' 'fstar-git') source=("https://github.com/FStarLang/FStar/archive/v$pkgver.zip") -md5sums=('f9bd0fedbb78f3e853856314e90ec824') +md5sums=('07e8de1d8dcfe3c62774c3e141fd9382') build() { cd "FStar-$pkgver" |