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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-4

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75150

%ISIZE%
292892

%SHA256SUM%
12e7dd4d179d42025d38719162206ba1ee52325e51cd583a5075956b86fb0f92

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwHL4ACgkQeGxj8zDXy5LX1BAAqO5z9RNEDNhUapNifih+vfhyBTRYW+8+O0GMTijyMe5brKN1YtemcWbfikssnpNOzWCaI2gNU7Jwf/qFQL61urn2iOoytMt48s7YJEHveBCirjjW7qFEqnc/5GFFM2CLRsJhmFjhsDyP6NSU1h8r9xpEJiDsRnXio7/3kQsL7BUzAl+AH2fPG77ZKoCgaKBaQVpnl0n3tUkf+30T7PqUtUFxV80lRmAVy2fVQXDGUoLUksRqTdcsLVyoFkcd2d0Gpsr5VkGrPDR6BMn7NrsoTMqaHPmNLdshQFju7QgaJ8MbcNunK/Igc09xzUWS/B7IrfdqfK9kjNCjqNHa0rrwmAZpzZ5khq5eh7Qc0Xu9asff3ljK7RJjXCiWd5dpElRzMfB4k3eo0v4IxpswkxEHsgQ+3uHSCDMg86aYLG8iUl+rJq8nhnp4FYrFNqClXqU+SrUXrG45/iNbjoAVLbGiBU/m3oYpf19Jxl45P+SH9TwfX3fRTZmv/qfNQ8wws4UwH6daX2+/4kJi0dJQ9E96+Y2rpKYGbJqCoq0IdS1v8r/hWmrxHrgPEhB71uUL5cEMsBZU0ramTe/dSYEernX92yTOl3u03krejTftaAOgIfplBvwkk3+ilXUZulJx89FQ3ro85yppqBvL/v0Oy2jFvCdobqmWmG6XFEjZlF6+cyo=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760566438

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

