%FILENAME%
minisat-debug-2.2.1.20201216-3-x86_64.pkg.tar.zst

%NAME%
minisat-debug

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
Detached debugging symbols for minisat

%CSIZE%
265596

%ISIZE%
869711

%SHA256SUM%
325471e75fbd331f4e0c6ac7cea722dfdc0e52beec629d9c655451ceeb37bda6

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn4DEACgkQrx0hme8KPM+uYQ//XuxqrP5QiY40tMutsUJy+S+KyJdWASswZBtToys346Me+8r0ZS0zc451yMdeBopxXS5AgRJqcNGxBvPzL+Mipzm17BPdV9OMXLvB5u0Yc3xOdS9jORG6XieHXMxgBuGaBeUxfwUPVYk7Mmhn88xlEffyZ7x9m3lxv39Qn6AXluPGHhzZRrFJFVvBq615Dn81IrRb66iVE7tizdHsxfyq/uFqc5NtOyoM0gi8XM1bLwlxaQad1m7Cw9Mbe+h8XQCpaGxJ12vzbRHD+SpKcmr36Bv8zcpUuR3CrLinCzv7z2sH9u/JXUSMosGN1AvPVDO9h8L5xU8+HQ4SBvCZ6ulI6m0Dv5JKoQLverkLl+IIoGxAcZk+qkD9Q9EOh72Zn+lhTz6yQ/e0ZNNCY2/Fk2V3KmDHaxFwharMNcgH04E2xRU+O7Ic+/+EvPEsgPte3LH3uVY4JLuOb5cYJETZue3yB5zp2l7eby5cYFKfO37ZLnyJ7B8S9yqazC4bzXzTR3RlRggoQRwpm3MZZQ1L9OJfaCGPeg45XCE22/ucMFoaaUADcxzBqGv1TXLu6M0M4FyH824NP1COQERhnEYOhCetnLw1HeUtqWpQ219TQQ8JohwtD0SHiJVzeGJr7DGpxj+HFR9DOTACrFXVMfQ6UlOWHZJczi1+muxVF0hUbVySh9g=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774260458

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

%MAKEDEPENDS%
git

