%FILENAME%
yices-2.6.4-2-aarch64.pkg.tar.xz

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-2

%DESC%
The Yices SMT Solver

%CSIZE%
1351368

%ISIZE%
10295251

%MD5SUM%
f19593cd475af957e5cee28cc33f5fbc

%SHA256SUM%
e801eef61ed1a3bf8add3857512ba3cd6c3faa20dc2404f86bf4101d242172b1

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmaUYSYACgkQdxk/FSvb5qYtyw/+INXWt82wagmjq2yKY0KOJAKcDV4UFWOCdcvqFMNUN+lgospTqPs2bEw8hS4pWfWPnZXaE2FCsoqPyxh5oPjVHTE4YcmBkBHuvqyQKmO2FefqQ1UM2nJogLF6236B9GsddoXWYKAIpG4sQ1oarnp60cJarL4fcfyq7JF/GEeAq9G1ckSK0bWLJFGE4A9tPicWiuM2TJLymxrQjomgDCJxsKV1impBPszIuyjaPC/z6mjijwFiO8KuOOnVIlO1+uIW8YV6D9EM7kGIfT9C574QU/AEwH2Dm52pkPLvKYOnLmRWXcjMe+fVznoEcLZDwTr2BRURCZn18cr1IJ0QJ7FrDg+NGGhOuJTU0jPgsdxO4JvTTdtLj9h5+Fbe8raWP5sBw1WLz1QVaacSoApf9hQMQTHOvxyRL5Z5+HjbYr0fGR1fV9W9ahnswNZlhSGwbaMzh+lqWU4cQ7Fz20d5Z3S/6/S/MdUPSiK2F8UIoepuh4iRBLVS1OK2gvmAuElYwB8J8fegZPlZpJ8dowj9wGgHaSiVvgXFftwLZKljEZHsnzpnQp9GgEv8LD/GWwFt7mWMSeJk2Nwv97csdYpZQI2RMNH9LkndkkHF6wYAKzdzSvyO0lwe0C36Ml2mi7OxXOcIYAjz8EaM6zKnKQb3YlsoHhkFVSKhYIwZ/jpvc3kwKCU=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1721000182

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

