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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-69

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75466

%ISIZE%
292887

%SHA256SUM%
a052d391f7f3b8c0f60826a003cebba904ae3920bcf9f3f3d1b5e3c4814b40fb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrSftoACgkQeGxj8zDXy5Lfmw//dpu73WqOzOvMi97vpZC/EuJjd2xm3QlVEONPW22VxTYRGQCXpImTpjIxzuqzJU9exR8dx5MtWYCQ56O3FxtBC922Qscm42dfh55vqj1I0oWL2/9aiKsllf5N/lambsrKsaA4+d+yaYAsurmZMBTtDcqpyUcOKkhgsKXcmKk2SsQJ89+p6ZD7T8HCYl3HbFIEVRSMowJlYCtF5jzZC31a9Y2kgALTcx86YAEpA75h67+T54CU2dT0VQFo9MlNX4gBHNyHu8VNvD4IFfvD/BryEoFYXnCeVyepfMN6fqUL5HcPIRDvOyRd89WVybHK2wMcUun9M/VYQz0a0huh5fvjlSv+4PWbXL/ssJs1TzcMtW8eLiVZyaEhXsBG8RoLr2GPtTIEu1rV8aEDsaDIFG4Blqf64AGKCh/yh5DF4V/KhVnx4uaqQwGwqJdspqf1H2VfJvm0HELKdAKyhehKYOFlkiep+TJ2OKOsfVDByMAreT4IpfxF+PPj2DZjthStSv1Ki6Pip6cqgYo3NqJ+NngcNyTTbHL/o8+NHc7w82i3Xu9b8rsuidMjIX2J7xBzsRe8rL1mUPc5U5NyxOpnUsI7QJPyxDXjx2JDa48lUyDUMXmhO3tMzObsV/QI3n8jj9/e7RMbj0xcmyndkr1a7vyNzMXirUbAkuBSO3qYnfdZuTI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792179864

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

