%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%
13035

%ISIZE%
995080

%SHA256SUM%
9f57e6bf25dd6d754fa53ab5f3b0f0eba00c9e7c3cfb086bd1ae910c8a935a49

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64

%BUILDDATE%
1772556560

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%MAKEDEPENDS%
git
gperf

