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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.2-1

%DESC%
The Yices SMT Solver

%CSIZE%
1114532

%ISIZE%
8351923

%MD5SUM%
e1f31e3c11bb7427b317e57c6163bb27

%SHA256SUM%
c725d5849cd8d71f37422e541d77041c19b6fd1fe7014363845d9f0621ebf66a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl8jMf4ACgkQdxk/FSvb5qZAsg/9EPz/x1zWZnIYwEQhhHn192kKCKFaejpW6gCf/cgU7rb190QnZkA1sojdqFzREYVQBCNe/qge9zIyXMZDo9wzfg1i2kZR0cyhDN9FGZXVb2e00ui9JKOVQfauiTELCv3LSUyswZgrGmuOh2VWcmPCrab3acB6QsLGlLPxs+1T8CxWOifHI5iXObAD9eslQ30TmQMdJm1U27yXIde7/RwyLf9zASQcu8Mq6wpD0nxhjX/51y/IdTNidhoB+1UyMW8uILPTG9AhBAa1lWhG9Uv0I0SjkJzF3hbpZtDCpDFnfB2DjhiF5JEsm/RUtomEGv/K6fQc64RAkZhCtOQF+U/t1ii9OszNjNaFPihcqGbv5JMuOoO4mjGsFqdYihQ0/lJ3esfIq07ZTYK4Y7/NG1n4v59D2zkHNjNIngX21kpq8HMC0wz2p9E9xg19PZB6b4npmHtuInTWGy70SZH1/6FVBLBS1mziMy/PxioEdtQuxrKuGu4ykauCxaaOKUoIK+4J7VvIzzIMAstn0P/t3owfnPgT1h/CsiQaxS2JJQsnLHfzL9b4sZaxWxe5Kx44HRchHWv1zZVsvkJ6Px5Qo3cRE9kLq1rFX0ilen6lcolzM+F6jnh1Iof1vpZIvAFe1/7Ui0lbkT2oMERmojea+2Zra2gb3LTsnE9CMd/bP0Jc0Cw=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1596142050

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

