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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1

%DESC%
The Yices SMT Solver

%CSIZE%
1396108

%ISIZE%
10340219

%MD5SUM%
a4786671fa342131bb1e0da7b85cbc31

%SHA256SUM%
eaaa5a8418dc3e8f286855d4cb20d24e52392168022687fcae9a4399cb1a74d9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHQ55QACgkQdxk/FSvb5qbOSBAApjB1+pUSr2+LMQLvRQwC373flwzaGBxx1z36VEt9rw53AS8rg2CA1uDYEx/nRlk1MzQR/vhA/62zHvtuK0qNn7wHg/2Hq4oV2KVdXvojc0vBG/b82/TsFc9/1sYhZLF4qYLVKrLwpJUfbwijrlTWenSQ1CCv545aQdLTaL8hWjJsV6VKxsoO8GF1uiIHj60QQZnXoXgumndGgFxQs9YyqWNK4KfDQRumnQOS2tORKuhBWRVWfrovpy5c14MbK4vZiWQrmJTEmGXia4g/qhPky41IDUz8pnQXnWNKmillCop6sEXKtVjsCEhlwwYB+HSmh+wtw4IAOfzX+W8rawIkp5AeTEvj6BP752mMeQ7yzBlToj24pz+qQknrNJetHzHoojJ0RI3lsYPAfYXcRcjcDGhkRIifTMmvMd02o7Ltu1VC10Co62TiCok2fbEUN76cnLCL6uUI3wtrCjGOum87Vne8OZAc16ciUZ0pIvZ9Fr2IX6of6YS7XKAJXV1hdhRAG9rONsG+rpxzNEoZJWuO1taehFJu63IM72bW73DgIZeImnFnl8bg4Czlr0oOQh7WWX70Xw1GXIAxSjem7aBsCKQbIMxa4K82fQni0CaboTlXUZ/r0j3261NY0slltg0XzzS9hveHlhX7ufTPNMM4PA5fIZpQkYS0jd5L2Pb9to8=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1641080686

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

