%FILENAME%
yices-debug-2.7.0-1-x86_64.pkg.tar.zst

%NAME%
yices-debug

%BASE%
yices

%VERSION%
2.7.0-1

%DESC%
Detached debugging symbols for yices

%CSIZE%
13029

%ISIZE%
995080

%SHA256SUM%
4dfddeac2c92bd9f629779b238f6954157c943acc94574cab65eeb95e1b3997c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmmnIM8ACgkQeGxj8zDXy5Lzpg//XQbKbfJfIxovoLP7HF6KChpeB8y/TwC7mh64Bubh34YYRLVM6/9bmwJhcLV5uI2CGEoTSsZCdnOjIdoedgqrVD7g2GLOG5rZLidh6kblPz97v0O/3C1eGPBOrgvUqqABW7PxHDhY0EjQOid+51oOquoRBuKxxxAZnpfGV9bz54J+9jNOB2dMGO1SsDdc1kjZ8xy8kDhNfFfErunStfCwbFIm4zB130mynctrTi2gXxwVUU9pe+PUES4BEhxSdqfeDRdyRiDstPQazjeKocuWcRM4cZxYfp0YHabGPSJg6JF7Wtc1IRpHL2+qVoNB0/TWjfyfzHIRqmgTj+sJXdJlXN1J1V74Ymy5UtgQ2cvBM/qrnnU1QbqRNbu0RO/ad7bvEcKow/dXEkecmqjyO2hOShNi7JGHxEVKBqlmfseSH0hgv5GMDq3UVxLsg4SKCeuGXeJwkxMVt0wzedNDOw28tP63dQtl6CNXfOHPDOQdLGgBDbpVH+PgNU0OePUSANkJKW0tIYuHiRNdj2QXhVvxCaTN73v8NMELuevuO616G55ypG67c2cw/nMUqbPRGTzHt0XUZjrUpF5jALHo75MMAsaC4kr+3idx3zDJimVeTx/3QJ8643ltHoHj8wvbayVIOnqHfJfRHsdZ/MUxzf+mP26jgCcC3iYSQ10Q8KYr2Xc=

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64

%BUILDDATE%
1772560468

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

%MAKEDEPENDS%
git
gperf

