blob: 3cd86bd544d9ab8e434996661072877d93d012da (
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
29
30
31
32
33
34
35
36
|
# Generated by mksrcinfo v8
# Sun Oct 20 14:41:54 UTC 2019
pkgbase = fstar
pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
pkgver = 0.9.7.0
pkgrel = 2
url = https://fstar-lang.org/
arch = i686
arch = x86_64
license = Apache
makedepends = ocaml>=4.03
makedepends = ocaml-findlib
makedepends = ocaml-num
makedepends = ocaml-batteries
makedepends = ocaml-stdint
makedepends = zarith
makedepends = ocaml-yojson
makedepends = ocaml-fileutils
makedepends = ocaml-pprint
makedepends = ocaml-menhir
makedepends = ulex-git
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.7.0-alpha1.zip
source = fix-ocaml-4.08.patch
md5sums = 754ecb3d2f6c234c78537707a87e6db2
md5sums = 1bbf449622e26f6ea2d414b6d9866e52
pkgname = fstar
|