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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-61

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75527

%ISIZE%
292887

%MD5SUM%
4b21d23641f6371ba866367a452df124

%SHA256SUM%
8ff7feb5d8e563f5d98aafc827dd9eef2b68ceb53df05691dd237830c67107a3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBgz8ACgkQeGxj8zDXy5KiXg//RscB93Yle56qNis+/r0uBKcouBFqO+2NjzgMlmCXEsOcnGP0thsaXzjmjOebOavlz9iYq/0qMyhf0R6cH/p8jHJGWaTddPKe2uUGImpFSxM4XIwvosofSZ7CrB6RABRFmN9CrXu+Ift3kmG4c1zffFhNvtbQtVys0CwVoVXuMgdZc4Qrvh/FQuqVi0PsT86npwuDT/FCmBTXpWujIYyjjCoWxfjVXPB654kSZZTAsUb4iMac1VuQz1scNzuD0hKP7fvyG11SXG8DTLxuVT5fc6OJYzNyt5RJ7doxXtPOYUosd8ADwkAR7XbFQfNeKIhdA4a+7WPTmSUe5HVN4C9hUmdIOMBEp/U9T0kAbFGng4NgFgFQkwoWaN0M192EQLAcrUAA0Qnx71wErBPANRKDUf93yIzSNiitsjOSfnIX72Fk3WwYG5xZ3qA1efjSLE3fqupZO0qBbsIXavTbZw93zmVpx0DIYSG8PjKbQpznAQ/JDr2sjT6h7v4P2vmObpTR9/SeXApf3mEErThelcT+wRbx2VnC8mfLfIYm/9rkvW1MnfMC2V3KgEn2UI977fWVbxjyUDRi1N/1cLXjZ9jtOVJKHgefMK9sSVxZomZj3cH64B7Pz/NMX0tKH65z70yFWK6V4Xj0Iuoo5BwE7sczThrInXiPcPOZrNeFLUwWpUA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791066927

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

