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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-33

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75495

%ISIZE%
292876

%SHA256SUM%
e8d3a1e2449c01292e13c00485129ac90bba4be3dcc670f70c0a421ece23b4e8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoztGIACgkQeGxj8zDXy5InhxAAo1w7ni0tPZt8eA7YxyIUz20XEj55rolRtPsUGSTXta/F/Kt6dA4wWySErfzooHZU7GSVrpxRsnRt0trsw/2tuZR3WwS2O5oVCtaL1Ih16iIJbA5Ja4LIFjKZMeC4uT6NHpqq3pnrO+ALzJNWJ1zMYUQA3SLtBX0bp8AU/hz1IhdcGcuaM6UO1kreFYv/FvUUjvqUgyFAyt9YhMOgeJS60E2qD9HQV4WI/3OlTQZNIWYKSdprfNIFAafwxJcALZhFdO+R5zvj0E4mLB6cRgYL/4lDKaUPmQ/C6gf4tg3ALT8hyvtnQjjB/QSax2tA66lL1hYTdSW5QI2tICm3NnA++b1W8eKLYyrEAnEk6eFK6ibyC5domgnaLL8xs/WjcpYdNtl1FrtRTB/nJLSt4eaFSCCYEby/weCHRNT7FBdI9u06RneQI0P/HYmUZRL3CZ8qDiZpxLUkJR8Ge6VxT6C5DhOQWyGdY25B19+6xgqPE8ftl/v2pDnXflfahBlnlY1cQYprv9+5ol6GecYE3gYfWyfq3iWAqb0VXPa7cPnG+VYW2DFBLSstsUbmKiDHMyeDrkS0dRPK0kHmI5Niq5tAO5Z+9O9bJWlPcSfCjV+uORnCCJwXqi6E0Y3UiNGGtIl6qJ8T2GO4qw+IAMCs/HBgxDWVYv+ZkUbH3n2vSOKyr84=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781773394

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

