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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-1

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75346

%ISIZE%
292469

%MD5SUM%
0ce8d2aaf1c2cde8c4579b85aa1cd316

%SHA256SUM%
ab3304b191613e7245198da85eb9f018a48691d083f0fa56a42c90918dc661e3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjsEfEACgkQeGxj8zDXy5KxxBAAtmUICOz90MOU4VZqJ9KkFAvK8zJdTocshYkv2qAHAdxZp4GzIc33SAtfvgOnPHQ6o/37iZWDH9jZXcMiSQQlMtU9PjsRAKlY5f3PChITldK91ely85WQb7TkaKAPec9/znUDQ9DOvpNknfevU9sk1Gr5o7TbKLRtgOsbx8sYkQsQCvWhQ2xx8Oi9wmXmS3p/kLIgltfEJ+8oKL6Tjh1cj+gHqE0WffvqnU/fvoj5xV2C/caLDDIMYH37IXbxNY/p/5pe/wkkzIZ+Ha0X0EoCMNk5g7dNjfC76K3l2SXyGiOvlQ2EUjOWCJ3+AHW+ytkcG8ofj4SFMDtoENWpBdWioDqZZQFPUHNwsNA8C8RUwaSSxqhavJPmy3+SZegxpvaIDbH74eL4XYLRRkBPYLIvg00ZvSxQQDTnNygXBo33umZl8z8Q5YEOOjk6QonPWKXn/MwIzFuf4RSh5gBuMSxFYdSvNHz77/hsxFb+ftghHiVuSjuTcIN/Q6B2AIpz2qGHDfOeOrB29HPHGQ3SVOp2wO/bWZdTkdyWj6+4FwtoFW8sv4/2dpxialq/k8YZK3I7T3sanFgv66G97UO9RsV8J2qSwiw27pQynl3HeE+KyFa6CiT0fMr6VqJciJS0RNH22Mi/glYAWl5WkMZV+qFUOtmefm8XrpwPKgchl8aSl3g=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760301514

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

