.SRCINFO


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

# Generated by mksrcinfo v8
# Sat Oct 19 23:55:11 UTC 2019
pkgbase = fstar-git
	pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
	pkgver = 20191019
	pkgrel = 1
	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
	conflicts = fstar-bin
	source = fstar-git::git://github.com/FStarLang/FStar.git
	md5sums = SKIP

pkgname = fstar-git