%FILENAME%
haskell-simple-smt-0.9.8-2-x86_64.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.8-2

%DESC%
A simple way to interact with an SMT solver process

%CSIZE%
87717

%ISIZE%
396784

%MD5SUM%
2885ec3736a5ee0839e4aefe0ca3245f

%SHA256SUM%
45b597656603a80bbbacdaec342bdd16659f5a98a025347208c1ae5771232d88

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjsL3EACgkQeGxj8zDXy5K4EQ/+MEXfX62Rs2w+milqfC4YjOR/xDmKIShP8IuC2USKqA0YCvIX+CAp8ADzdoOFKNzbdVN1z5W7NRTnfy33db2FiiTBo42dnl632EO/f3GUWBPkLG3DFBjrx79Q15/fgb7lpEwcQNTG4zJVAbJq8aDSsnoryyMzcMQHBA+8ni4wtimOLSHER0aM2RmPKoNZBb8wuxmLejnKKXP7aZKLi+ZMS1yjOte2WHbykmJc2NbDb6ZdTFxDMEwH7K3Z90Zc2/ZoQUXx5x/wr7+ItqOIkAY5MK7vR0Qcng+XmHXCLguWrx89FER8wiS1whjtZRVje4ZnKd3ihox6/1fnHkRaUIANLwQAfU/qTscLCg6pp7GXOtL7FDvERclX+SgAqK4xvwOvn9NlRoxizPd1owkXhOkAjlMFlFrr+Cjd8UUzJCDt16g55BL2aNVBhwg2IH4zKknd3GqJnWGT7JUdYUq/ytvdWT+VyKe8Y4ya4c+oEzVahi85kBcJ8RYD/+KBbAl//tKreUVU+4EFTw0uMna7YTzW3jMx3WgCdtTCjD69xWvN7gXE1SrhH1+TNbHR/7tUC8OWKQlTM0NiSSGqS756oKO5xGxweaLOq0SdRL6RoaBGjqQUQxEASeAkCnvWqtyruwM4k3bNShmxBQ05Z5+Q6MFAVGu80xJPwixo9VoQ0lqvU00=

%URL%
https://github.com/yav/simple-smt

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760309086

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

