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

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.7-2

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

%CSIZE%
94128

%ISIZE%
426387

%MD5SUM%
9010349322a38f543cbef5bc3b19af01

%SHA256SUM%
71ed4bd03002289c4bd31cac47c085ce123f7d948fe5b04bf3bf7b4432d94958

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CooACgkQrx0hme8KPM+R4BAAg1U+XrrUjrE9KN1uWSkeP313YrNM0aaK21QodB8EYHmAXSi4zVZyGZdrwve00KcXqzlOVj87JWnkFau3042l6RSgp4KDw3Z/Xvx3J4QN37qpP4K2l3KtMlUklLPn33x93X8Qf3JizlheWGTXGtKtAOFKNQEluSmLvr1S0lIxFIp1/df/nYMY0UO/0OSoWZfMaq/azc8msKvnednsR3cjZXZQhj2M8b0uqqeSppX69mKqhw9yVBtWdLVdQabwObDw0uTUr6Bd45CqAJBDyHCL6ohfc30KmEledfhAi8tXii9LI/JBo26qxFlQtNjurE7ppVxaasHJBohiWP0DmAyoSGMv19RXvha9Jbv7BIrr3rFJduSjB83AL7jATPL0eL8wi4V1wYFq9vVk/+3xZL4K5ucZogAxTsyUtOQ0K8sELUYw6mQ3jo9o5AVxKAt8cCuFi86k4X2yPZfp+JF7sM/R9nJIBJp0wTiMY/GNuwvjvbIQlpJtJdSqVzUZSm9EgoBpfU1Ef8AdrYXvpMVv++ny7D0pfZjwJ/GSJreS1vt1+Y13R+SDjbC7V3JSdRZzqR4/roCVqapfdS0aLznALPKdAeYtgLjgwzvcx1LTa/iCCEggdjM9R44lXbZwzngcEQFQmtWBbHLpjiGzgeqZqTFOKhVmOVkdNI77ab6sql1JxDQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1641836148

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

