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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-48

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75508

%ISIZE%
292900

%SHA256SUM%
aabd1e4809682fcfef8835a71bec20bc7a20fded65aeb261ee6226f658bbcc58

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30IACgkQrx0hme8KPM90Xg//ZZTTeuvVoYjvsNX8F77LE5Ix/N7t53E1+VPmdGQSWPU/Biu6NSybr4yGMJXxET6YtvNsPCX2y0XOpdfAQYVjDAodo07VVotgr+OgpWnoGySwr4A40BHxCiqQBbuX6JnlNpU/2rms42EHQXljs4DP1cmUGH/3awnslTrWfLcdUyqjDJAfFvYbucEpV4ZLK6/hyYl60z/UBQakoV6aOyyF+aoopxQoVkT9m04AGxp7qI8E9EF+jfzkwawkDmNyqEg12XhEPLGJK4teL+bLU+jS8NmCJTlYHaoDSAQTj0trkMFUMa+uYzxSFzZS+LF5fzynG0Wv4a7txNistFY2IGyljbKVm1oJRXWprlk5L5QUkhji6t9JBLAZHrNDB3DG9dLKEpbcOExifoU73X4pbst57HEjwdvqM9G8pT1rPBNiybPw2sFCqxBlbwmbCTgv06PK3nf0DUDS/9xnd45aG1ZcWTmV+i4ABHDMngyXdADBpdm/Wl6GHs0r/JMdUuRThKYD5SrWxGUKXVXVReUp4+iyPoBmn3P1FmqTL6jr5/+yggrMKrhD8jN/U2ijyUyrbN+A5bnsQMnhGHkRCUR4F14RWlu17v711/jKcKSi0n+heT9VHxx8g9Vp7OLryhjw8s5CCONxQJXeqtn/cTp/QlY0vD3K5Kdtw3++j+ax3qUMVNY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783015171

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

