%FILENAME%
haskell-simple-smt-0.9.9-1-x86_64.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.9-1

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

%CSIZE%
102739

%ISIZE%
474995

%SHA256SUM%
86177c4d300f64ca2e2f176ed3579ef708dcb1493e46cf9b19fd080b3bc49e7e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9YzAACgkQeGxj8zDXy5Ilrg/7Ba2BOD0VVjKtwLYe9u5+UW+KKTMdP2nd+t8ZqML9RW0NBYYHCpyDLDo0u6OfOtbz1bSJJgHqbW/gKtvBl1e09dXOCPrzHYE0nkzEBEqK61VH3vSIhhOxTc9hRgntGeHcpGyzMMUtrhwabZRevQKxoB3xxtNJp2fgtzhDMpUJ8Y8cJfgorCpzaM1gy2Fdx1/r5V4hDSSsbIB9tFw7fEBtdomk+SS6TViHHFef006pXziWCj6t29L3+JZGVuTQJxU34s5zRlHS7z3dgDklCD/iM5STEx5DbAml4gzhK5ui3ZCvJtPcee0Ii9Fyr2ubUDC9oOYFmRc9fgaFWj2jJI0KY2RW5YwtnZmnli4sA9Buy8F9dwOlHL4VTQUTxKFrHUx7ceTUn+NzTYDs38kOCNkOnUZlojIunstEYCsmIGE7Yf6R0uY9lvkOae8O8nthj/20iqSmiDo4dlNI3QR86HxpTv7S58ASOkMOlnwvPsZIn1oQJP8p272Myo95f6NAwqu7wrlYk2ixNLJaMxHDdSHG2X+wVJIRmxh5PZc0fO+kxi9eegE2SJQFIbk0mrVfzJ1HV+DQZKEYP97AS7pjO11ZxXR9ghCiQQulKa/QGRPq8Vj0ovd/rDXMqOCZ3E6YYJ5hpKCi3qUIn7CyepfcQkfcSuU2tB3iXAajqbIbGNUeA7A=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790796576

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

%DEPENDS%
ghc-libs
haskell-simple-get-opt

%MAKEDEPENDS%
ghc

