%FILENAME%
yices-debug-2.7.0-1-x86_64.pkg.tar.zst

%NAME%
yices-debug

%BASE%
yices

%VERSION%
2.7.0-1

%DESC%
Detached debugging symbols for yices

%CSIZE%
13029

%ISIZE%
995080

%SHA256SUM%
4dfddeac2c92bd9f629779b238f6954157c943acc94574cab65eeb95e1b3997c

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn4IwACgkQrx0hme8KPM8kUg/7BKIVvv5V9jWFpnTbcgc/7Dch2l3nnCgXeynnycdSBnZxTj3vOtF6GWR3+GGhzCI1j1JmNiZqzsyHqrRNXfhAOVZXpyrHAOntsXjk3WNebV2KsNhIGBSwMJCspJDHajqqNRAogAgJYRhcEfQTMbnVpR0OyY62HEm+KtI4XqfVFPk1k981+nsEOIXPqCBMqg0TSSGx8UTTG0C4S6zKN6L4Bfadfz6n9/NJNY+GMKv/XjaHkTaybWryW+QPIs4F2xLzBa3WljlcEycqlxPgwQrrYQR1mKX7kIq6OPhaQlB5GnKC/2b7zTsKuo3F9bNApPEb47ylTak+0xF89NnxOkIcGeD3KRmyjBMnWdT3R8WcAc0oVIUSg5yDNoKcnAMlrWrFJgyXL5wNPLeVUiZhv0LWxcBWuRx/jbdkpQlap4U/7mPt5sKlDrbov4WuySlQ3RXe4p9sqKKqncZoU0n41VUttwUclTfqNQ1fQsW6keFg5odAsH7IHGn5HEGRbdup4rARqbvJGMApzb6vNQM4poRAwhhKWbYjMT+sazSA2yU/jf/zmFfBuvce1+30TqwsjCQNOfQxYrGWZPQuMoLD1qha+zaEru8Kqzn3eVKbk5jHEi0FFlsvqsUIZy3pP3icqUnoy6TGthm9X0rsLocV+bGmmkNKN6AgELwbVw0c/zWIdrM=

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64

%BUILDDATE%
1772560468

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

%MAKEDEPENDS%
git
gperf

