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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-67

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75482

%ISIZE%
292885

%SHA256SUM%
0ec7e83f396852aaa9c7ee1f10e80559b36b716fe022a7a18acba4882e993c8c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrK5DIACgkQeGxj8zDXy5LogxAAtAHw6qpkuaHbAZtnbCaYX5Jy6uKJCQeEaX3uLpc0/I/AKpB4gaKZcMLRFBC34b11Z7/mR561sPTMQWH19yEF+6ezLzMoly1yy7m11pNUm6B4Sorrwwlwnb0Ypsh6D2uC7QMVT8g5R95uLjJTpPOBWprCW6n7SnttqWV47M6Rb5oJRws8kL0ZcDiyWxbVCHKw7ZScdYZN6ffi/zYi2dSTgA15H/midaTaAly3Fs0hwdqjBz/psUXlCQvBSiucyqdW8oxpcX29X6mqYgD20vPk+sJXHmt/C7+6+Ahj4ZbYXZZP27iMBS2JMk9eCdBeMkIq98vC0J7pf3I+GFviVSr1esFBT9XuwFMOCmvvZsWD0GzqP1T2vQeeCvTRBjr37r7mxugwDB7csTKlw3CEDjrNl1SETf4EqNIw8x2SZDVKnjcCm1bSzKrbvpETwW1gP+jK2PZDU2c/wvqfbB71+qIfEO7Xv4pc2RF5/WAD8bU2zUA8OdPTfI6TMepXfk4EKtE2j9rF0dKQKKh1VWoIDzmAGq37vZTXjl5iSws89GdOyvX+QgOt2ZpGYiqOsQamtKgNxQsArG4gdUtf4B0RPC92IvwqrucqmnBH6D0xfq99WVDSma5T6EvxIGJ+o2AY3yHataB9+eAQ8p8WM8fJF7iRSiKu1mYX8UxVPe/Xi4NuAXA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791681555

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

