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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-32

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75508

%ISIZE%
292896

%SHA256SUM%
5178850399fddbaa7efb2782e38a0451e2c0e4279b30900726b8490684f08d20

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoturYACgkQeGxj8zDXy5LKKRAAh5/UZVv/Oq/q0t6mrZvsMXmLVoILTyBChgoDUU2pj3XjFvD/cj0yks1rg1rp38N9pZ00N01HVzxzMK4VXQafnT++d5eIvRq5yzPeLj43IxhUsNNaFfZXgOFS/oCMP4IuaB337HFAeIInd8SUg9VLRtPUJdsf0Rz/7rbM7i1IGAiHdRPmrAkdjlAt74evFOj8664P850/pT+3Qygze2C5e7N7jQJG9ediASG3Orj8ka+k9B/VchuF0fWTVMiLDh4f6GXNZpsNfngle/D3gIMeyxqnmYcwFpHO8uhBmYgj2xPfNMVsxVNs5mp/1mNgrE75EggVzCVDcn4fDyLZOcCZ0EdblUvFI0rOm5ErDQMaF+Ge6aHwo1WrY9/D/Wci+AB5pQ52eQytywJ3axi6KAIR3pzkuyhx/llBTunjXEnL7boFxHKgiNaKseLYLuognvMgMK/D6Ki+50JOrRsbFYu9l9cHSzvq1yNncIbthjVd6D+df2686MhmyJp5R19YZkwtEWaLVMJWPSUGooKJzauFFkkZa1NInTfTNRW4vpcUq8PKhLnyIq9NqOK703OOyxszvAOsqcKILsZ1Sqs5XIEdMDrPs1UpCouAdv5sqeWylSGDrKOXmVzV2eYMtHtcEDq8BvQf18v2VShJ+3S4Xflev8hFG9RT09gKRkoVrLy79dE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781381758

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

