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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2.1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
75154

%ISIZE%
248935

%SHA256SUM%
e1915418997887c7d21e0b68d2eb985d5b0102437c030035fbab512b4e5324f7

%PGPSIG%
iQGzBAABCAAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmaRzC0ACgkQ87YHSI2zWkfD9wwAk24GlH5jNcQJzg5xmHg8e0UyWELOImFMqghZuk20N3guv3hNK9Cc17WKj2/BzAu8nGXeFsXRWGsi9Gdc+SyC6lTchWXzo1wGJQqhlrBWuwLvSHzsOQYVGWqqj4c8C6I6uF5gTF3aEfVSv8aofJ9IazlkUdT4cFAu40TjnD2lJ3KR2iEEq/JdKVup9wUBNqQ0XFVbokUf2E1Y2+G029HexJAG18s5v3h9K+3dls7r/ME63ENxpyOCvcbL0H24ac8PHO3vHJK4t/EGuYHgBuSFmQypj370WjwDVdrA01YtkFDjZ6YPb+6mjBa7+Xu5MhqooUmY4MZ+pB6oi5wNnExiN412T5eR2KJzpbJFWSouVEdkxOERgzBMPIoOo4iwAverTVWstzI8Nud5wBw/BBwpE0hCM/7DScAK1G8ZT2bzpF7CMhyHrQw9xkXgQYCr6QPxxlX+PaGC/ebogp6VQwZlASCYjXShZ7OTwvyjdfd8DyfJd6QFCfadLyTXAnf2iQGH

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720831017

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
gcc-libs
zlib

