%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAqAACgkQrx0hme8KPM/eQBAA0bJ1aRBE25XOKcXuNQ/TIPh4Mi3weK/tqdBjW+VJOLJTAbZmS/5QkwDXrhZ0yXWfbc5Rj1XTCOfCLa2XulYsxomBb7RqXH9i9CvhbiTILPGzZtKn1mFruqdAXkKm04NfczlWHD+oCjpo6gCcc+sWXv+/S05ZkGIUsPTT/v9P32aZ2SHoNFmCn8jkrgElM9GDHzdqFBlM+79YFcxweab+m8ki2wREHz2TexTynlhwtvWtY8Wo/88V3QdtkLVglHhLCWS+K8YKYEp7ntOoHkHCMjis8MtsM/GVHM6eZtlyRKxeGsbYTaa5kZGHsHeh2omTw7tfrK8htMexcFCbcSnMb5JL9UEGE8cKIn/iqDxbR8DTXbUVruvJvy+n3N3DCiAd2WKNXZVZqyUmAKQDPuI2BQK1AXwp5tRwaX1pb3oi9QP6uH/5jlEyoYNfAe9QGxtSwY1IXRDVw+CQyKgUCOy+h9YrSvWX5T9fRoADdr5/iV3xIvcXr7H5I71TCBhHoLd/8xwT7W1HpzTWanlN5LWc8kHUNoejv8XueLEVJ5zMG03n8Akiy0W9YmHhpELWemrgqQFyTnGxTH32aYAm2IYEYln9HBWT5/Fx7a1fM2GTnZiP6Gy3boPnL6DeTBN20xQnvv3+sl/G/+OMUoCdcZX0keNO+WPnO/hnypcUj47Yo0Y=

%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

