%FILENAME%
minisat-2.2.1.20201216-1-x86_64.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
68330

%ISIZE%
236239

%MD5SUM%
c36fa0ddd4bc50de73398e3f3ddc46ea

%SHA256SUM%
0c5002901c673164f62d5cd9ae8080a8268afeab624343a157ff833027f232a3

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CpYACgkQrx0hme8KPM+l6Q//S4yNx6lMhNBv7gB79gQ97LfYhXFfWdTaOfBV+wku21JoPx0vX35HpI06BPXiRy9h9yUdiMAQAaxyYn8XgKAGrXPWYYhCL1yuPH46MTdqZTsCNnPzrTqIz8FUoR8RLtCQBNWhA/Utbip2YAotPV/XZPXLMxZFGHsSVEJk8B95v7emsP1aDdzLmnhRn0w8CgnEq4JvPkq1K58dH71atwqJzsUp9lBqRl+kuo7aK/aJg30mvC0VW01OzzNAAKLB8cWVcfkszAkvbxbkQllDXxDgK17umAkRO7g1R+aJHxyC7kkgiIIbM4ybXLvFiTm6ELKq8MoIit9/6Vi8MnAN4UeNTXxq9x3wjwutfRuXFuZ91iKVEyAXaWIxiOsqgDsmF5FgA2FfktNvX35M2ktlU29dtr3+SSHNRXrNiT0PnZzzyIa/mNpmrhuBEIELOir02KeGzv9KHd9wGd8WOvG+wIhjsxq19ry9CFJeVIECwTNe+6wzkeOxug/BFGRY498BjhoNC6BLP4Qj+qg5N2JHqP2OY8thRDJhcgPWszPkutNUledl5YdsaSCAfqVf+nH+mQe5ASdoTcCzF/xe7bBbf1dJo95X4oePDK95bIbyaAc3mI8H58kHjhNWihcmXfln06sz6pj1fjtT2XI+AsU9uQiaFXTsDPFjNOUy+cNprtcZLq8=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1623087271

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

%DEPENDS%
gcc-libs
zlib

