%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%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnBEREACgkQeGxj8zDXy5Jr/Q/8DLhPlS+ViUPfLljaxmA9QQCAql4RyG5WiiW4FlfIPe+iGzjhOlxP/tN/wyeoDpFzdHcZJKoW8koNjSYCqPqdnFYuL6V2UH69TdDsRaOeRzmgSx1XQbxUDdUPOGHxasv8sELY54gGxEFrcuN+8Wj7txpDV14OvTP6A9t7zW5bkt0kxOHVJ3WrpZTcU1mYwdG0i4Qxt0WTebyxPhYrhk0U79e4jNZpZZJ8Orps7gJI3SegnGSmAtq2foaFzMcz//1k+1m8WUl3HcB/VQOM0qyIbSUq7UDrZn8XTywOdThpqKC4Gc2exKMcj/O9N6UBQzuKTDaXBJMPELivXZ2/9WFh4a/i0pWSXuSkI5DUAGVeXu+RvJzr+zHfLOzmei6K7nCPDZlyZvvyd5xFCVA0qDqEcWEjcmWB7QUswwWyN8FdH89DNcfGUd1uGLNA97m9ymBT4JKfRJ5+b+PubXupcq/9O7A3gjs96MgqNNPPGRXgMPZlzN5rE3tyI221WwtcPRn26fGfMnYkkljpGp/btmOixSXf0naHmhVLdQIoKCUXI0ujVZe6XAmjfUJuhymTiFbZzRsVm9ZzvjxhR+ZaZnKi5rrfybdfOqLf0pqWHElBbdK0Fn0BQasHN9BFVA2Ji6gl6oo/02C+zwSjzYSHdkTBAkMd2zpByliamVOxZDZojZE=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774260458

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

%MAKEDEPENDS%
git

