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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-52

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75485

%ISIZE%
292902

%SHA256SUM%
27bfb56c6923e79114f16188568f6ce4a691c1c79765a7662d76d2fc3c0acc43

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUy3AACgkQeGxj8zDXy5L02g/+O7TjlIN2E6rJZPSHXokZl5g4IxWhZuekcYCNJh6G8N4ytjMkpVWBASRd2+bZSU3fJmzJosIjByNZCVWvf1/la7IQWB4s4npmCJ1xHjNSI2pwIM0sETsEumMOB3d168MonBNdQ9yeMKGO4fE3YnULI0MdxMOBJeWzVwuV/gl1XrH1VGG+1ZLjBvY8voM0dFF++tM2W/1+TOnqJqdjBTmT8A3jQmgjE7+gbi8gZkM4R839ZChumJYlfu1KZJr6sppJ9mr2XqMTTy2pfP6NrlGMIjBLNALGa6kXunhZpJVw0HReFmn4F+JxtXWyMKLJoqRGUc8PFnbIezd/a7P7t0BoZT3/K6vLxNN62iYGrbKYKtiDV7/g9oj1ekRuzktu8xPF8S0OTwXvBnJ0N2Ii0IvsYlsooVIAUkkLtGuqIlrahQrJqsA9R8mqjo32lekaOmnpY9Ms/mnxBAALS2VuHGtYlIWvs2V5Gop6fzb52854mUjMgX0W9KOOba+SJjfdy16uYb3SBQ7rsSVfRaz0xCJfbA1iXCFvUBkj5wWCQFWJfzsctxZNVpTer6pBuGTuQATMXvVjQg8zl/sbQtzsK1BiEBltzq/5iTc3wMtNAG5WQCcZdpvAssbf09fGS5eXovZqpyKtDQBwsFQtcIxsISSN8XvDfKHcQOtQz/z/TFlOypU=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788136274

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

