%FILENAME%
yices-debug-2.6.4-2-x86_64.pkg.tar.zst

%NAME%
yices-debug

%BASE%
yices

%VERSION%
2.6.4-2

%DESC%
Detached debugging symbols for yices

%CSIZE%
12143

%ISIZE%
44416

%SHA256SUM%
a6c79cb0f9e523f3b2495f080f47e3fe77b0c3ca6ee42a8c281eda1c592dc153

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkhQACgkQrx0hme8KPM/UbBAA3i+QkvFyeCgqZuFdWQQSILVYanaA9IyZvvuG7r106MZ6bty6d0HQ3zCqAFX2iCx+rp2QghjZEKQV6Nyyp8lDb5PJ2+UWCDnDJ7dGHoiqeNgQEIJJjn+y2U0/kkDeptiEu6CQmNA/K3ZF3EDeJrVfSup8eikbFRDz8W9jAfmt2DkabfKANKzKUs+FAw02QsaFmuUsDtjMcilbvn+1Tz/LlW3zxNRoBFGZSnWMAQzSIu3u9kok+q2uiytzdC1VqTrkGMEQB9pRPG6Q7UOO4lTSeronTvsScE51R66u8n1Yt+ZDkKsL8d85cdOjAW2hkjN40rofBLp4zDBWgqBlpx4YLLR/aRlp/Siq2bwuG8IZCGgD6nsjxZ9+cTIoiPIgwsg7lijKJg/tK2OUYIEQsP0aEyqP1PF9Znl4wEE8KKSP+ZeyScgyJUsSbDw2aaKq2ZwfjKqGTEPfZUKS69UQ4HjiO1JQca4Bd2b3VU3maNgztF4QN791qPACtFc/9IjYq5j8j9rBS7D5F5tp5b9dSUE+k7UVYceEfdBFBWsJWPHqnsiADf6WSZp/VTdzT7X64gB/MImDj0QiSd+hi75mYvuxepwMXPtwsOXVWsT/K9sjWdYTAGtSt3bVWei60IhuHETTP4whqBeTitYSEv9Q71ga/+zNIC0F5Y8QlS/iCBBv9D4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1720929439

%PACKAGER%
T.J. Townsend <blakkheim@archlinux.org>

%MAKEDEPENDS%
gperf

