pkgbase = why3
	pkgdesc = A platform for deductive program verification
	pkgver = 1.3.2
	pkgrel = 1
	url = http://why3.lri.fr/
	arch = x86_64
	license = LGPL
	depends = gtksourceview2
	depends = ocaml
	depends = ocaml-menhir
	depends = rubber
	depends = lablgtk2
	depends = ocaml-ocamlgraph
	depends = ocaml-num
	depends = ocaml-zarith
	depends = ocaml-zip
	depends = coq
	depends = isabelle
	options = !makeflags
	source = https://gforge.inria.fr/frs/download.php/file/38366/why3-1.3.2.tar.gz
	sha256sums = 8753ee9b75c69def9acdaecb4e99fb458715fee1e89c7a7e5be7af777b14a525

pkgname = why3