diff options
| author | Mort Yao | 2018-05-19 00:35:22 +0200 |
|---|---|---|
| committer | Mort Yao | 2018-05-19 00:35:22 +0200 |
| commit | 978875bf860a69a4db7b69392cd503f88501d086 (patch) | |
| tree | a86d600f9140fe51e4195ba6bac2262ce2789ff2 | |
| parent | 438394f22473d53f145dcafc1f7bb5a09c150bf4 (diff) | |
| download | aur-978875bf860a69a4db7b69392cd503f88501d086.tar.gz | |
fstar 0.9.6.0-1
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 8 |
2 files changed, 13 insertions, 9 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Tue Oct 24 16:56:54 UTC 2017 +# Fri May 18 22:35:00 UTC 2018 pkgbase = fstar pkgdesc = A Higher-Order Effectful Language Designed for Program Verification - pkgver = 0.9.5.0 - pkgrel = 2 + pkgver = 0.9.6.0 + pkgrel = 1 url = https://fstar-lang.org/ arch = i686 arch = x86_64 @@ -17,12 +17,16 @@ pkgbase = fstar makedepends = ocaml-fileutils makedepends = ocaml-pprint makedepends = ocaml-menhir + makedepends = ocaml-migrate-parsetree + makedepends = ocaml-ppx_deriving + makedepends = ocaml-ppx_deriving_yojson + makedepends = ocaml-process depends = z3-git provides = fstar conflicts = fstar-bin conflicts = fstar-git - source = https://github.com/FStarLang/FStar/archive/v0.9.5.0.zip - md5sums = 07e8de1d8dcfe3c62774c3e141fd9382 + source = https://github.com/FStarLang/FStar/archive/v0.9.6.0.zip + md5sums = bad094857baf83b8f556ce1348d39ab4 pkgname = fstar @@ -1,18 +1,18 @@ # Maintainer: Mort Yao <soi@mort.ninja> pkgname=fstar -pkgver=0.9.5.0 -pkgrel=2 +pkgver=0.9.6.0 +pkgrel=1 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification' url='https://fstar-lang.org/' license=('Apache') arch=('i686' 'x86_64') depends=('z3-git') -makedepends=('ocaml>=4.03' 'ocaml-findlib' 'ocaml-batteries' 'ocaml-stdint' 'zarith' 'ocaml-yojson' 'ocaml-fileutils' 'ocaml-pprint' 'ocaml-menhir') +makedepends=('ocaml>=4.03' 'ocaml-findlib' 'ocaml-batteries' 'ocaml-stdint' 'zarith' 'ocaml-yojson' 'ocaml-fileutils' 'ocaml-pprint' 'ocaml-menhir' 'ocaml-migrate-parsetree' 'ocaml-ppx_deriving' 'ocaml-ppx_deriving_yojson' 'ocaml-process') provides=('fstar') conflicts=('fstar-bin' 'fstar-git') source=("https://github.com/FStarLang/FStar/archive/v$pkgver.zip") -md5sums=('07e8de1d8dcfe3c62774c3e141fd9382') +md5sums=('bad094857baf83b8f556ce1348d39ab4') build() { cd "FStar-$pkgver" |