# Generated by makepkg 6.1.0
# Wed Jan 14 00:05:42 UTC 2026
pkgbase = mingw-w64-yices
	pkgdesc = Yices is a fast SMT solver with C and Python bindings.
	pkgver = 2.6.2
	pkgrel = 2
	url = https://yices.csl.sri.com
	arch = any
	license = spdx:GPL-3.0-or-later
	makedepends = mingw-w64-ucrt-x86_64-cc
	makedepends = mingw-w64-ucrt-x86_64-autotools
	makedepends = mingw-w64-ucrt-x86_64-gperf
	makedepends = dos2unix
	depends = mingw-w64-ucrt-x86_64-gmp
	source = https://yices.csl.sri.com/releases/2.6.2/yices-2.6.2-src.tar.gz
	sha256sums = 1f205c056dd430f830c688fba6c87d8bd07bd8fa05f65936e12c27e71fa3576a

pkgname = mingw-w64-ucrt-x86_64-yices
