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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-38

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75509

%ISIZE%
292900

%SHA256SUM%
7deb2a5f21c4b5bf748680f532f73358d77e7051adafc35313d8ed394ed01f99

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo294oACgkQeGxj8zDXy5LEkBAAnGdd4+9U33qxbtq6llWdEscohWzdcRtGTRW6z0lUPJ8rCt1k9x6k+CwPJV57zZGQrl4CiAz1Uu3WapbXF3AIBdmUht6PhdGhXJYN1z8b/QPxxVjPvZ6lKqy3fvjTRx+ToSPNAJJZtck8vrvBJXtnV+mGzZgaH4AdLNasz1XZfWm75Wb9easQmtCWqBa8ZuII92lVhpiZZdLTw6t9ts/dH3HDrp4oRZjHb+4KayAwCH/MbEa3Cna863XwEv1rgqdirRfjwir9TOHO0wLe6xerdVC4TO/fAXT7mXoY/EMFx3Xc4R/8RUjwTg9e4T048Un3Yh/91Kz2Uc8NcLaSequB6NaNkkkgA6qcBO9UI30mplixK26FX5sgzQSs23r5K4ozY0JQ4fBlVWwiN7ZLJ4YaiFH3wl8b7Pq800YNutCC6DWqtohly+W68dDdJ7knpidltQdqZgzVsbga2kJ7e4FV5fW6oQAbnyvNhZax8h4pJyXdATZIkLuJW1+2c2+NBodZaBuvDdp3TnlQ28+iqV+X21Rp8pNSJy5Aqqdh7s2j4SKt00chi8RnbR5KC0tlARExhJC+xVB6dx6Sxdbu191UbKdLuomDC6bQ5F/MUPZMKSZKwAlSe7G3nhveMK5WFtdQ4h1FoBAPUkVYLZ8foN8/VpMtHEKDs5Xcgw8VynLO59Y=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781987199

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

