%FILENAME%
haskell-minisat-0.1.3-39-x86_64.pkg.tar.zst

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-39

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75472

%ISIZE%
292900

%SHA256SUM%
8dc6f78f5a37782f6dea6235bc71ca6f887a92d358bd44c63fcf41c7eb4b4919

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3ydIACgkQeGxj8zDXy5KW/hAAolX/K3coWw4kN1+4uZG5ENeeOJoiXCvJqX2vRB6WMkTEReIno9E4SznPtTzbkF8vz9ZyAv7fr80n7Fy9zzyHYCgwqy52DDgfQGFTBd/+2pH4cde5Thi+iXVoWrQByzaDaGbJ1nA7MQmTbrK2tuOCtz+J9FpY5gKBpxWKblDe0DBN1pgeb7aTAKYz6Bai2Ka7VMGhy5T+I4mk/GXRxd+QyIc6kyV+euLgebm1NLbFxPsKy50u1IkoC5nfrsxZW5B5VJtEEGH1zZ6NdljkFd90tTg4uQeJvT1vS5Eri8VZ10ljLFCoNpWQm3WnmvICpW2i1MHmfJ+DwE3NqdrLqG+p+j+xsQ8B1+ZPscDpqz2Bt8yQiyWJDYtqISS1ZSbKXxYrqw/9hHtfrupCSdfQnFpXi3s6R79h52CH6afPAo5A9iOfBB8MHMI8XXQKHB8B8hZ1BR7Y2npPyXpgyu48ZzFt6MRt/Z0U/aN2ONd31CN7eWc/O8lQtWaeKpAZuM2vSHn38rd0theStjEbmVE25g383VUCbR2ZBRU6JlJYaMbUg3BQDcxIlti37FDkViI7tPmGxi0qVx5EigBdFVvWlv1iKvIG/azIzSwO4vjKGZ7qBem0qBaoqY5BZcqzIK8Bah/XUa/Kz56wmHhng65ydqe7z/c/2SqiYvmumYc03WynGjQ=

%URL%
https://github.com/jbransen/minisat-bundle

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782041016

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

