%FILENAME%
yices-2.6.4-1-arm.pkg.tar.xz

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1

%DESC%
The Yices SMT Solver

%CSIZE%
920500

%ISIZE%
7258143

%MD5SUM%
fed36f472b7a231c69ba6c00d5e49580

%SHA256SUM%
81885f68c39f3fa4d933cac33c575ed54b80b59f89de8b7192588875e6bcc265

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHQ5MAACgkQdxk/FSvb5qZIIhAAqRTgNgaji6kWBIuLQLLPIsBcMpvG2v2I0pB8ukySlak16tSyWFnk3WLJmVFDf+j4D5Qmbujgcz3vGhpfJ2Zp1pVcXWEdK5bRe+6ciQrEAGbEFDSvwBLnjKmzhJA39mHlol4X2vE4kcmO4mNjBM+Xu8sTF5j2J9jyK3WHxjuS8IbaTvfIuWpKzhf9DOmfMlqh3Osfa9CckUFIMGBIEqVY7GseghMz69o2PBVRDuDl6/iPwgnteW8CkLgIA6sRQ7SGrumTqvvmY6kNPUZjaOSVOuIxAoEjw+5aLWXb0UAqFG9MVktaiCaXAxBYGd+YqTJ8XjQTUvHWPERqeG8FspqL5C+wUFqnpcH3Rn20m0YMkvmYuUkc3zwMizLWjXdEyqFcd6ZqVnBPeF7s5ZlEX2B53oCzC1o00jVEQtr7Zy1ZdfeMWNoExDg9Gf0f3ZZxe7U/FW+FlcyBrwbobeyBs4Hoqk9BEgEcFkegaOmbZLM+xcn8MaRQzjZ3BBZUcuDAsVk0Aux+ueFZopNqUSKgy1dTMYO+UEigduw79fxOXzQtmvCKDAvnEkZ31IhIac4g9OLg2vGmhaMcbbUC8wcHVwtJinqctTnHWemZ5jmImazbVMh8OtYeQP7KkLQRoef+5HH6tuzAx1t4vqqZBesgWmhAtdH8KGkDFSN4cRWCKEa7hl0=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1641079938

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

