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

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.7-3

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

%CSIZE%
77082

%ISIZE%
354157

%MD5SUM%
3d1933d487af8eb9ac6ba6934ecc0e01

%SHA256SUM%
e98e926442b3a92dc49728271694ecaef0ce15af2541a52cdbde254208e1f9ba

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcwEUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZIEA//fiGTLz7/gO9iP2jp6VhJ0BIxtXrqYde42i01PxKu6jJpI7SW2jnCjTccIhPtHjqW/RzX5TVIEORMX0jqD2H1+MQb6oFrWglKjj8BOY8F1yDIX3xSVDS0qjrflgAJWZLmukKcgmWE49rKvUUUpkaN8DYN9utboHd2FvaaDaJMxfHfb6y/L6W1f7qPH1Kig+NlBpE6/1QVKKq5vsKrFguCi+f3oyLEYPgiYv14JQ0C/kj3rh9c2KMEwJpnElpACzW4qBylcgImh4A8lQ6Ukr+b0dW2VumCmEWezxTZUONsOXnNoY/v6IK+rZdA2RZ3eHVn6yx0gh4Dq/pdf3KTxc2dcZRrG9JU6cgPByNN4PRuFUkl1asfEZHgO/a11A9OkTIh/DsJOvAHWeeXtUNRuh+S7IM5BBCUnW1++QO0urqxLnGQu4khFrqUj68txilqx2nTuNxu8gtMVKRsjadOAYTavMTnb5Ppr90sxnG0/XYeEOtJ0ohsp918IyWWNgAByXGaSUb4yUGlE1UZFpAqKo7jizP90ERNUqeFpNVb4MrGWZr4YSV/kRu6K1VQYvNdnO+N5prsRy1urOZFm37Qhp7y9o1SkrMfKiW2Erj0sKcOjrffMto5DB3P/NcUsjlUwwFObWeziOy2bLKgQFM0Yam7pzJAU6tbuhtHs7JqhcuMNDQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1708895891

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

