pkgbase = alt-ergo
	pkgdesc = SMT solver for software verification
	pkgver = 2.3.0
	pkgrel = 2
	url = https://alt-ergo.ocamlpro.com
	arch = x86_64
	license = custom:CeCILL-C
	makedepends = lablgtk2
	makedepends = dune
	depends = gtksourceview2
	depends = ocaml-zarith
	depends = ocaml-zip
	depends = ocaml-num
	depends = ocaml-menhir
	depends = ocaml-ocplib-simplex
	depends = ocaml-psmt2-frontend
	source = https://github.com/OCamlPro/alt-ergo/archive/2.3.0.tar.gz
	source = non_fatal_warnings.patch
	sha256sums = 8bcb71bc7568658799d49ca595f793cb576534fe87752739f6ec1c215a292e5b
	sha256sums = c09353c7d125135e9d451fa55d087dc4c92eadeb280cd56926723673a02a5e84

pkgname = alt-ergo