%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNDcUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwYHqRAArk582WIGwWUNmx0BKhYJu5d+nG/zOJLXSuN2kWkxnbPvwm/8nbzFyeZWuiwLO9fTn0jzQAwIfZEG5JMXn87aAMkEMFCQ3n+oq4XkBipHQpVMn/y9aOtpDgs6E0Q8h2wvbZHAnUt73ZrYtRf3rYOa5oy2Wm2WZ/S+YFV4XXjYcJh/hzD66a4aTCd6jGvrAuIZ7vBL7ggj2PyLul9AB7zFIDmfXFOebVHcLM+QIcBBOXrCpwnlKRmWaCTk3UoPAvcqb9GAAz0/09mj5NJwzRwISMGBaHV9kqq4MtH/earVrwrPUhDqIG7D4BBjhAuPPva0vr/oIUVl4S9Kp9xwKhDUwvxmoqauyX78vlnjrlF0DH/bqqfsjoUhkHFzNFB0BgiYUiHLJQAhfVdoGpehCTPkXRkKnX+siFP48XpN/KkTfmCWL8l/9SFKwSZoZZb0Evt98PeT469DwgBA/XFN6nkCsh8UVyuOaP1sdbXGTy6a9CW6jxx3LnDbi+kg2qTyTrTFYz/R3Qk/ZOhbN6WJceUDoIXnwmZuyTwqbvdV17088GTD/ia6TZ2GHxPDSoNqpEiuALvDC7beG0Q2dN7EEJa8R3R8CzcjxReZH40e7pHDq0eVuArWgFmIz8eZhJDHHMAVMIev4KRmApbnfzKfYoXBknUZsewD4R1gdxXm5l7tDd4=

%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

