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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-37

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75526

%ISIZE%
292882

%SHA256SUM%
4c84729e4d9cfdc9875518d0691d67f8411f5fd11edd9d270a73d9ef7094a395

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo2KZMACgkQeGxj8zDXy5ID4xAAoahyygu4muhDPjV86IVLTdGzA4Cv6YsVyChaSOVHN+mXqfmAQ0Vf1lDS4nZWMfyjW4OcnNjpeByCzk3z0J7QTqaVxJgNyQz3qsXPx3n8xO9/asB3xJfkdGBBKJMbFvNW3Vy/DNm12VRbEMTSeyLbzT7PlXiAMuMP6dap36z7SMfmv7TlusxNldu6DKR60QMrZF07a94+4+gmhrtlJ89bfz5ahQ1aizuRzUwZqJ83lqdREZiIWdKj4hY1yZTb43HLvM1rva0Y3M7JAOar2Aue5rR8JVFD2vuZgY8+zNIA7tdiYM10WTmfb+vWuYVhw1KFXUH8mXaQqujgCxojIQDmA2FYzQNewUWPqi649/aPN/yI0KvhZn6Qm5vmI25qrO29fAIcVRhMnbnjQsxxPiSOVV3kywcJUiWJyzA/jxLMczgrMAyUYOMfjxSmGLfk1e5umDK1TBjdhmI5p9Zh2J9p5JUJz/Oho7F4wKm/L6KNMmw4aobx1rZWnKj0hJbTxPHZ+CoQGOsUxTqswUtD4G8KWNbYQO9qMR68M0ojpnkYt5RxWhZ/2Pqa2730NpvCdW0mIsWB2avHNQnFl7+Io+XOBKq6Ca1tt/NtFeC9xhKTU3oIzEqIRgpx7rFS/KIea1ALFbKuVOflOBoGXSnqDZS661YpsTlwnVsSUJp05kyuIWA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781934450

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

