pkgbase = why3
	pkgdesc = A platform for deductive program verification
	pkgver = 1.3.1
	pkgrel = 3
	url = http://why3.lri.fr/
	arch = x86_64
	license = LGPL
	depends = gtksourceview2
	depends = dune
	depends = ocaml-findlib
	depends = ocaml
	depends = ocaml-menhir
	depends = rubber
	depends = gtksourceview2
	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/38291/why3-1.3.1.tar.gz
	sha256sums = 7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b

pkgname = why3