%FILENAME%
yices-2.6.4-1-x86_64.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1

%DESC%
The Yices SMT Solver

%CSIZE%
1513437

%ISIZE%
9526147

%MD5SUM%
3785e61023a65723f4711b2de09b78c2

%SHA256SUM%
9c6056330762d957596444dc27b4ac1f5cacb8663aff2397748ea4135aa3c1b1

%PGPSIG%
iQIyBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEGYACgkQrx0hme8KPM9D8A/4x/SDmI+8iveScu0aucUwEfy34Iukmq/6PU+4OD91M+XYepQA3TQBGA04l37mkJGQTxTxZz+xIK9dg5v+ASPmZmWRsIypn7zObbd0BSyjnzyPjOemsm9U6iiOeYJkn/Uo7lG02j3Q37JzmT4VFcA6kIy4D7Hd4o3mpMeFR4s3O5PUDG/fYPeIhSrmvCYvREZXnL5spOMbXiXDUVLQGE6qvcEaIzNx8MBJtoxr4JxXJYUMBKzb9zccF66VSV8YjikuG8J3aQhZHs6KyFgV0MfGq5ck+yXrMFkF+PHR/tX/X/BKL6Ee5njZqlehjlQRNiKrNOq9+W8bzQN1rftyXkUa23Jr47lFlwIYtSRZhg6lw0vCd1Nm6r4dkj2GSK2Tbe69tHFl9LXlXLwbdznoWZSYkNsKdpP4qSpG4mvNRlwYKksGac3CV5+Gc87jjNR/6/9Wg/DUabbVFTkUsyn6Q4S3oPE9KBjLCwcI3mEbRJqtmZee5k/dpHCzxRyJpSGPoNuwYdMP15gutcFrja/y1qt6d5vrsfcEuQtnv76H+2+55x9bhLHWXMkognsryDhgsFN7oDqoiSFyfRQehlVU5grAdtRpQgLdQpDmziaIaSAKiRbQgeSIVrSZ3daX5KU9xlelnawOGc/TgaxZy7G0FTpAhefCr7wGCWRbDtq3/kbDqQ==

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1641076154

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

