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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-51

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75488

%ISIZE%
292910

%SHA256SUM%
d68d3350c775cf5a8bd2f50102d70febf6541c85da3b6682564364bca5d60cb5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUEWgACgkQeGxj8zDXy5KDDA//bD+eNFhdiQFV7ZUg1+Z741T8A7nxz6+VAcoVFluz6v8yULxEpXKDi2hPYP5MHehuBWb/RhCDA9YMRNHxDfdfFphVwDltQyDSc11/Uw3onLXo1YhRmve8JfWl4/XWAmyJuSvUMbtPu1PCUITX+WvLZlfKHoZ9WGX6879aftV3vYEnHi+UgNh0V4g/sc88HAgRz1C5UNadt3p4znTJxdjwSfmn11AfZ+Z1EQXPOGmzDvNBjFPDGkpGuMsJE/hmAofbo2X3n1gnMxUru6RKwv7Hp1OsD15FpYX+6uj4ta3kkRWyecIss/TysqwW2rr7+xx1i4cXdRZ9PMCz1T/5GZ7eFP/LINyJ0KgGbG6UqXIaaMnSLm/+5yLY+Xf3YUPWfYxeLH9zJRnB3T+PoHOBqzTJ8rprHIfmUjKhPDNW4rmYvlaHXycZXyV2o6PVKOW/3NB8I66FVxRwj4sayDpZJkuKL1ixbaaz8G3dyEzgeHuXhTf7MSCPMzCOrfd/vSZhP5Bzt6NMQFRls8e6AsnQClQeWMZ04t0NPqkhk871q87L3MatPPUWNGHZGWEliv7St9dN9mVY+1jIAePpufvg8ivseCmK0GQPEL1sWBLcsWEqagPl5l2VZDd7r7cpyyhGIuNVzpbDiU/YwaLY+qzE/9SXYM7StSngkItX5vIHAxL5s6c=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788088666

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

