# Generated by makepkg 5.2.2
# Tue May  4 19:54:24 UTC 2021
pkgbase = mingw-w64-yices
	pkgdesc = Yices is a fast SMT solver with C and Python bindings.
	pkgver = 2.6.2
	pkgrel = 1
	url = https://yices.csl.sri.com
	arch = any
	license = GPLv3
	makedepends = dos2unix
	makedepends = gperf
	depends = mingw-w64-x86_64-gmp
	source = yices-2.6.2.tar.gz::https://yices.csl.sri.com/releases/2.6.2/yices-2.6.2-src.tar.gz
	sha256sums = 1f205c056dd430f830c688fba6c87d8bd07bd8fa05f65936e12c27e71fa3576a

pkgname = mingw-w64-x86_64-yices

