%FILENAME%
yices-2.7.0-1-aarch64.pkg.tar.xz

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1

%DESC%
A solver for Satisfiability Modulo Theories (SMT) problems

%CSIZE%
1444672

%ISIZE%
10830931

%MD5SUM%
dac28bc1e9e83cc989de79ce475cef3c

%SHA256SUM%
2c9e527657eb89fa62cc7f03a941e66680e45f7854be40efaebc2ab98e3aec63

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmmnLYUACgkQdxk/FSvb5qYi/g/+JMAei53kRhdepRql/eYh+YpV+qVdPZOZ4zI0RjkOirjF5lQdFs3oCy1zRyGHE268E1HblO6Cq2Yrs3LNLMJ7FIe7S4Fhsk4fo8TYRj2471u0PJoo1bZqDSeUfIhxuUTYhgVxFAQjq+BVK6T94eOjWAJ3qiIILMkuG5Al8zvRqzAqTx7kb67TGqtAm1yZSorWQfHdLWsH/qb6z7L9CgQ4bCMuOSnRBUzOb6U7J0gu2TLpBZZwesCQRLpvFJvzCHP/kfle1PD4jViRmW5DrntMirazwN/vkV/VcKlw0RoB1oFKb4UiHvjm5F33llNtm415fVR/Rqr067gtvsSUGPQaL49m8SZxD0AXne0J/Wx2k7rQfCv9UAnGmkdxpL96egUmOvJ0nIIqACTYSeAeBzLFAX/3xBiwWFDMoADfhVcXcroXz+rNLQXpyjO+C0QBNZPACWkPh5+H0jncM434hoy4XKVWHwWkUZbiHWeL0Ao+QXKZFAyPRPLJnHHL7LGbYUIfoFZqXVJcNtT2Y2kxR2My9ojvGqCo1P5tmTLzA9Nq+B7wtB5USe8/R6lgfkV9tmNkFRHPjj4O93QKmJy7EtN4HP/83Ic0XNO67O3B0I2q5D3/D/z4I9fwyx3DcFoCBIivSswBhgX5YBdgljhUcHyTG1EzSgnZiaDxu3+5jBdQ8WM=

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
aarch64

%BUILDDATE%
1772563793

%PACKAGER%
Arch Linux ARM Build System <builder+n1@archlinuxarm.org>

