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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-41

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75496

%ISIZE%
292888

%MD5SUM%
b48ebbbe68e9667c0bbcfd7d76310fdb

%SHA256SUM%
83d2d5614d45252f2d1461b58d183a4e2725242255f1ee826c59f91eb06be363

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6q30ACgkQeGxj8zDXy5KX+g/5AejZW3i1T7ipRs9PCyQwS/iEwJCMIv18eHObQWYjx3stLF7tfkETzcdxezx7ZVa59mY50FIezQdWzRf35MCuyDrKjJle5cOgsPrh+MT0PSSgg03a03MuqG8wCAs+TljxiOv9iROc+mNI6npoWe+r9WWROTjnkyglYUqHWk9ZVuq1SqM7KLh8/Wdvi03wMkL5GAldTRJdH6GPvQM10aQLX9RWrBKrLEhxT/X5u9xJMS1hde9Yypiko1kAvuufedgOvbH8WkGpz+kRcE45ws38hLuzc5zvJFXYE8uhzcO/EQkWYjTbXo36HgDdxFF1uaeWyEg3tHlYGHYr/focM2m24TGstFLK3VZjZ1PgzUCcUxPEjIeNKh7lKOm9G9X84I4I6o1LRggb+1AUhQhKluhTl+WH8HGXQkrxLzBEhGw/P3uZ1RLRVH/PgNOOQDSaogDcBwSbf+O/St2mtfN7F3AHRDUPIqevqmLc0yBG3DO1TltWLnxucoySAznuI7BF/rsrqZmTF0IPOgU7JQY5/HC2mO/9FaFeUgw1JPJyybHhtJnz5vcaOOUwMKXogIQfcZoz3txkXnI4seFTiJ1V3gpOrNnf1k5RVi6daWkcPFDf65J18+kw0ul0pKi4MmvcPSLXioBuOoYSpujijZw0EtPR80P3CM+WMGBa0MiGM6HwIiY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782229865

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

