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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-58

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75497

%ISIZE%
292904

%SHA256SUM%
4501264f5b1b4ce95d26b5da94275044712f4ca7ecb6aba9ebce07bc00ad819e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq8/7oACgkQeGxj8zDXy5J6SRAAtU2dnYnqnFedveb1CxHXIECZTWS96Dcj6EiUNu5E0Vt11Qi5qIR45oENGa8G0ogAiriXagmq+X2c5KnGnrR3qXGbSykWIGFgovJcXkPjIa6RZ3iVXwxlzyn7irvEsy8VG5GvX2Pfds4zL6eUY6BmJC8dzoMHNGuXU/vvAPFvO1+IO5CtttXwCCEiIiuzWDSivoJEAFWp23lO35TuWNeKyvpHxQAiV4l0x9z1B1/cayERhWmpMrTU/Ytg06exeuNhrgvVm0i0ZaZVdcdlgof942jAkseE8irfdLhk6GRkS+YyBxHVM2DqB+i4nwvvgKFJzHZ//JGxD7gX8nljBGj7sUuwjQ2VDin4mbInaWI34iPxdnZcsJfo49Z97MMGY/Cz02ty0FBXRfcVdzSIfU6rTFgUrT8myGevgfAhOM36X+XYrZIVFCmb2xEBlJaXxS77S1f2kpLvmJ7+F7jf0mIa6AYnjFEa8kMkm3wWNZbDq17r2CIpbLSrPELb7eGHYA3mahqYg8oZXgsIMWd41Pglk1gx6T4HvLKnqw7bbQe5IzFbnhditDjTbLl3gjNOf0tXGyozHmXQamQMNvdiIeRVLHf416TTWhyqa+SBnjlGJbHsyspdOmXgBjuArp7dlNtXs4UlcvBSAzQk66TB86Z72TDoWaJ35F99YJbTFhh4uPs=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790771064

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

