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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-53

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75486

%ISIZE%
292902

%SHA256SUM%
4ca769e1c77f2b1c2b093d8f2c8cbae289a76e625df478b341bf7a6a3e441042

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdYRoACgkQeGxj8zDXy5Ljjw//ceiPLqdVl4hWfNvAOg2BapqC6MhKHRRsD5mFXn3DRHF/AXwAqHCl8ykuSyX/X5rRSnAppqxbQYDo5tRU4ay5wIWQOw9eL4a7rOGIZVrFneRNyu2s4qK8m9eCh0zkP9UzhESbdKZess2sInPrcf+gBicPQbrlw0+ekCR3UilV0ZymClNS/nEaP3BLfLDwvTy78t1o/GuW8g37iEg3E9Aj06nOLh9YRzeN57BlOBRrB/tVsAGI0ObyHjhJ9oCFSshERAA9VDRGXchnD82C/briwPiXO3JrDsDsBI59jb44cHpjgOE/gOXsA/csURtDB7Z5KqaH5pRxEvH9VmDa7BQdSjMcOMe/EcbwKJFg2Gi89YzRvYpNEbBXXnEyd6rYwgKXgNEw4jON3hkJY3SCCjvL0WAvMAx+9bpjEEgatBHiJz6+mCe7+PRWvCiegCTBMBwBhgGyYuBunCEZom/pgfFeGzlNw71fbrcEv7TsE8HFIOOj8HsNHD4YuODONWdlCTIdRZg8KtQzrW3N9oVrv6DS/r7TpC1hBN3UHGkTvyBI4dn4ps1zpwMDrtJzyeAFQ81gOST7X/o9GHrPkNyLtR5qVzLCkzhp+52nIrDDVT6S5sYn5/GbUKs8jkhUh5gwrAA/ZTTHYQHCPpp+Saisx1a2DyumilxAnjdlRSTpSL7M87g=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788698882

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

