diff options
| author | robinleander | 2018-07-27 11:28:19 +0200 |
|---|---|---|
| committer | robinleander | 2018-07-27 11:28:35 +0200 |
| commit | e90aff17aa17ee1a7f8ae2e477a2013544eb77ad (patch) | |
| tree | 898a472f2209788f2f5d45bbea0169dea50e7176 | |
| parent | 41e85be71db05b0c62cd3ed9129c342e25bbb667 (diff) | |
| download | aur-e90aff17aa17ee1a7f8ae2e477a2013544eb77ad.tar.gz | |
Version v0.9.6.0
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 8 |
2 files changed, 7 insertions, 7 deletions
@@ -1,6 +1,6 @@ pkgbase = ocaml-fstar pkgdesc = An ML-like language with a type system for program verification. - pkgver = 0.9.6.1 + pkgver = 0.9.6.0 pkgrel = 1 arch = i686 arch = x86_64 @@ -20,8 +20,8 @@ pkgbase = ocaml-fstar options = !strip options = !makeflags options = staticlibs - source = https://github.com/FStarLang/FStar/archive/v0.9.6.0-alpha1-opam.zip - md5sums = 7855b84283e85de94db5a7a086f815bb + source = https://github.com/FStarLang/FStar/archive/v0.9.6.0.tar.gz + sha384sums = 831cf86c861f69ebc536633874e924e37b851494778eb0e1e435c5d46272d59e7611642cf14ba0289f7ca8c9a379a9f0 pkgname = ocaml-fstar @@ -3,17 +3,17 @@ pkgname=ocaml-fstar _oname=fstar -pkgver=0.9.6.1 +pkgver=0.9.6.0 pkgrel=1 pkgdesc="An ML-like language with a type system for program verification." arch=('i686' 'x86_64') url='' license=('Apache') options=('!strip' '!makeflags' 'staticlibs') -source=('https://github.com/FStarLang/FStar/archive/v0.9.6.0-alpha1-opam.zip') -depends=(ocaml) +depends=('ocaml') makedepends=('ocaml-findlib' 'ocaml-yojson' 'ocaml-stdint' 'ocamlbuild' 'ocaml-batteries' 'ocaml-zarith' 'ocaml-ppx_deriving_yojson' 'ocaml-pprint' 'ocaml-fileutils' 'ulex' 'ocaml-ppx_deriving') -md5sums=('7855b84283e85de94db5a7a086f815bb') +source=('https://github.com/FStarLang/FStar/archive/v0.9.6.0.tar.gz') +sha384sums=('831cf86c861f69ebc536633874e924e37b851494778eb0e1e435c5d46272d59e7611642cf14ba0289f7ca8c9a379a9f0') build() { cd "$srcdir/"*/ |