blob: 7cecaecc59e8dbda834f1c327ff995b3a96b0b39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
pkgbase = ocaml-fstar
pkgdesc = An ML-like language with a type system for program verification.
pkgver = 0.9.6.0
pkgrel = 4
arch = i686
arch = x86_64
license = Apache
makedepends = ocaml-findlib
makedepends = ocaml-yojson
makedepends = ocaml-stdint
makedepends = ocamlbuild
makedepends = ocaml-batteries
makedepends = ocaml-zarith
makedepends = ocaml-ppx_deriving_yojson
makedepends = ocaml-pprint
makedepends = ocaml-fileutils
makedepends = ulex-git
makedepends = ocaml-ppx_deriving
makedepends = ocaml-menhir
depends = ocaml
options = !strip
options = !makeflags
options = staticlibs
source = https://github.com/FStarLang/FStar/archive/v0.9.6.0.tar.gz
sha384sums = 831cf86c861f69ebc536633874e924e37b851494778eb0e1e435c5d46272d59e7611642cf14ba0289f7ca8c9a379a9f0
pkgname = ocaml-fstar
|