%FILENAME%
yices-2.6.2-2-x86_64.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.2-2

%DESC%
The Yices SMT Solver

%CSIZE%
1420243

%ISIZE%
8962707

%MD5SUM%
8783afdc1eea8189da59b5ff67671ccc

%SHA256SUM%
257603898d5b42d599aaafb0d1d677868040575541ce9c6c99665cacac71d447

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl/b0yoACgkQeGxj8zDXy5Iabw//c8eDHDoET7ZpM8ak0FPvQDgAuR2tmGxCGho07wcsulKeOQrcAUZdzO9X/RBIOAIYEEd9bKRr84pYgGbSysuXjwFu91JuJzAduCCX0UILaznenX7wrndVAE8IdQZsEhC/YWChMA2xb8hHdSMfPLqG7oE8yS6s+wetRjSdClsSC2SHF2iAT+Hh7T4RaxZsE88U/6KbApVAMnN5S02xVyDxE50jsrUu0c1KV7hUFWj47PYDc55xvS1b8ipYsT7MuYASCJndj/OVH9ZFfeSKzLzQv/pHn2cY0hmkstzLlXURtO5EKTsF2NT1HyBwO4n2a0MwLNOXeLqWc9oyyKrQNVKFgJskegK5yVWg2E1ONnfYmKAKrWW0F3Duvmdy3Jk6EGmbKw8CXSLSyZMkEVVthV7M8Oas0izODJP97g7Hum6lNNpr+Kc4+0v6Swj3V1n7nzxpDsIyh9ZmtAlb0ATo2+Pq+cXEMm/yIz1C0FnBzLZN77kSy98wTun5qv0BsoNX7bJqYsZ5IFV+VjpewGVcQBl6vcR2suOw+S5sy5f9B6+cxQGudETuwvKd9hopLaksUAQ4/lIVb1mwH7SzOYQpCc3E2NsRmWVpuFPUUgv2ydAX/5zm5hDAp0uDExn/WASglCJ+yyMeN+EGf3NFYrmHNeLG8wsdx6T0mCZRMVHbIeT0zMs=

%URL%
http://yices.csl.sri.com/

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1608241867

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

