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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-47

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75478

%ISIZE%
292904

%SHA256SUM%
fa8ff2c37444af37aff363b88230f225c395b6ce5d2da2b404948c1ca16ca0e5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/4zMACgkQeGxj8zDXy5K45A/8CqP9S8vGooR9ma9J2I6IboNlnmP1OLEVZ1BzZVU1HpqipivMBw+eq2Y2R6ZuOmKvXlOkot2FbJRfhQR49BjH1U9i6p4OngDrT5fa52iz3Q5UScA6iTQDb504kx28rHSGHQ/avunV+xE34pxZ9nX6FZcrh0septshpq7DohLn2Yta01G+C5814qb+PE8fQ8GHEXXMcno7wMDehXbeLWoI+k5ycHMMVl7kyM4rf22xt+9urA8F3cmFmIjIKjsaEC4qj7SqV45rdH6wGIc++/chLAWW9ANVy9bFIQQ4DJ12FDBC7GvF8A55Ie8/KfCn0g85a87mQQGkmMhvKdu76l+LlHqnY9LKxN1MrrwyITTGQGKxBKWe9ibku9RmrgH66CPvWI4dlt+JgypOw8mi0O+XEJ8Us1JnGbOi9XFXZB7LSWkSaA6HXeQMRXP4tu6RzaddaAgxeIGWHLzZMdCsOPL0Pg3L71l/X8H5lGC+AtW3bv7D/BXceG/XZKwv5djeobsVaZgR+0mt6fxnQLfGz2LnrbAwHglCBVLZtemynoZ1ThgBNnCbc5GHnYyMjlcUF1fTWeAXsLxA3T/M3lR75Qvig4uYyMDUdYv8eTCI25Op8e8XYbx470l6DOSHpQgbxxvmuTL5fPIKXDyU7qfWsa0aIpcwnei0YWsYqwMYvv4zofM=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782571805

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

