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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-44

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75455

%ISIZE%
292884

%SHA256SUM%
44aee2fcfad7682a74dd1d3d17a647e9ceb7e9264da0c4353ce5dfca29a3638a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo84S8ACgkQeGxj8zDXy5K7eQ//cUGBHBvdZ8/8OqOAiNef6R11RblsWBHWScrOKZyAeZRtUNLv+H5FqZ+Ia7Svzsba2upSeOhJ2R8Wly//SGSrorh9GlEr/1Q6kz1KOwm9KfYe4kp3zZn5QwafltG/Y5a13411JiUGI0018U5KrCHzx751jS325MBYVZiOkJMNbifAudBDSlX+43KxIoU2fpoSlmjFrYO9tKNaH1LF6gJBx2RvC4zKocxKgNjq6AK3q7AXYkcjtvk8qlvKuVepSlsRDP+H4LUjCvliklLnBGFf56IIiSeJiUmWInNDwIcUy8grUMlmggQ505O7jve4hooHiGlgXGBOvYMW1h9Za/cbD3EUjkbJ1RoRqGDCtu+y4XV//x/CTWEfwT/YGTp7w7aUlZlrXSB6A0TNEaHEKhM6kFktVTpUExv6qoARhfx+/WWEciIMSPDj7weOTaia1g+VWWS5eboSk0LfD7aU9133YE3eCPJqgV40cQTls0Qgxvhrq/vGnOShgYudt/GH6wjxmgIUVsmxTRaC6Pcu9kpyuX2eHXousJtFJdylULFNtlJ1HywApTeHiRLMsl5lVHdZU/4wIs9WISD7CW5W4fnbmX68SZsHo1MLSCBjwTUVdY5A+f3yaNOtuKwk914kTG2GFtjb0Z8yozJFMXK6s3iV1tgx6bIJXNFe3GETwDSB2gg=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782374691

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

