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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1

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

%CSIZE%
1368768

%ISIZE%
10430579

%MD5SUM%
0734a22e127c9ad062dc1420d03ab61e

%SHA256SUM%
d9c13b5833530723f9485045706aab2ceec969f88602925c1ff6adf9ecd67d12

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmkI3l0ACgkQdxk/FSvb5qb3lQ/+POkNED6jRtxzp4KhNGgpDtJ4TcWfOI4y1n0vz/jtgKmcQF0tXBecJGcwfwgPq7jTo8448R2g8rBj/aRlRn7u+KyHTo7Cm24zBqpefvdwEpoWTBUMI5PYx3vWWIGhI5UjoDg0xiGqIPGz7nxhDo5F+bUWFVJWHr7g/BvHkcEuwHAbPKXT8sRbU8lI0RO7DQKXFn5ii15vhA72L65ChNwMbTUMQL6rcJQMbb/1yNAr2XATJEF3jNBWHmdOFKjOLgsGTEvoCC7UUQJzO+9HYG4pAb2e1yu271BtJyMhM33K7QUjoVrU3CPiIinJdswf04ofp95oD4fWQu6kpNyCYAO+BHFkQund5APyJGQAtrlMJEdVTlACJ8TJPaiZHKGJZIJ7HhPq6DDRI89zwBxXA+6YRuVdwvTuFnOJ+I/FqMRMWGKQrFvtwRRAKsomTYZvnL0INVWmkvn0YzabpAcxHTvAfNdB0f2Lkhwgvxh8w7urQaCbq+h10PoUTb3smSpMXomJjitaQ+6KZDqks6KoVhOrcvoGbG6IZMrdx+C+BCVGiwWhtGTbFeufKCk+8xe1Ml4ia0gTvB5fJdPxyQcWIWZ1j914mcF8RCGRKNlELv9RUPEuWpJ8tCwJRi5T51QZIPh+Cq96GTlfXXOrMygo4cYRlIq3iqZ843xszfT7GWcv0jI=

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
aarch64

%BUILDDATE%
1762188842

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

