diff options
| author | robinleander | 2018-07-27 12:08:59 +0200 |
|---|---|---|
| committer | robinleander | 2018-07-27 12:08:59 +0200 |
| commit | e85fb38311e1f864b914fa1fcd8ba5dead12fb48 (patch) | |
| tree | 5be7a5f2a3df41a1f8e61c8c58e7fc91b3f20bfa | |
| parent | 0e23d4d09ec50a1d4ee726b3e1392792d380fe40 (diff) | |
| download | aur-e85fb38311e1f864b914fa1fcd8ba5dead12fb48.tar.gz | |
Require self-built fstar
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -6,7 +6,7 @@ pkgbase = kremlin arch = i686 arch = x86_64 license = Apache-2.0 - depends = fstar + depends = fstar-git depends = ocaml depends = fstar-ulib depends = ocaml-fstar @@ -8,7 +8,7 @@ arch=('i686' 'x86_64') url='https://github.com/FStarLang/kremlin' license=('Apache-2.0') options=('!strip' '!makeflags' 'staticlibs') -depends=('fstar' 'ocaml' 'fstar-ulib' 'ocaml-fstar' 'ocaml-batteries' 'ocaml-ppx_deriving_yojson' 'ocaml-zarith' 'ocaml-stdint' 'ocaml-pprint' 'ocaml-menhir' 'ulex-git' 'ocaml-process' 'ocaml-fix' 'ocaml-wasm' 'ocaml-visitors') +depends=('fstar-git' 'ocaml' 'fstar-ulib' 'ocaml-fstar' 'ocaml-batteries' 'ocaml-ppx_deriving_yojson' 'ocaml-zarith' 'ocaml-stdint' 'ocaml-pprint' 'ocaml-menhir' 'ulex-git' 'ocaml-process' 'ocaml-fix' 'ocaml-wasm' 'ocaml-visitors') source=('https://github.com/FStarLang/kremlin/archive/v0.9.6.0.tar.gz') sha384sums=('12c9649424cc8c5ccc4ec21c87c6efd8bb8a60d5150401c482a9f8451c971417489ee84d09f5f7ac03a2c2740470a12f') |