# Generated by mksrcinfo v8
# Tue Oct 24 16:56:54 UTC 2017
pkgbase = fstar
	pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
	pkgver = 0.9.5.0
	pkgrel = 2
	url = https://fstar-lang.org/
	arch = i686
	arch = x86_64
	license = Apache
	makedepends = ocaml>=4.03
	makedepends = ocaml-findlib
	makedepends = ocaml-batteries
	makedepends = ocaml-stdint
	makedepends = zarith
	makedepends = ocaml-yojson
	makedepends = ocaml-fileutils
	makedepends = ocaml-pprint
	makedepends = ocaml-menhir
	depends = z3-git
	provides = fstar
	conflicts = fstar-bin
	conflicts = fstar-git
	source = https://github.com/FStarLang/FStar/archive/v0.9.5.0.zip
	md5sums = 07e8de1d8dcfe3c62774c3e141fd9382

pkgname = fstar