%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXbrqkACgkQeGxj8zDXy5LzMBAAmu8PO0oyHtfoh4yUktttHy0odoBCWLRQlYsoGM+5rMgnM9Rwq5nBZO6VdcaOT2IJVCSWm3iggUXYuRpiBpvd6NKRjDOOGAcYsts6X36CmIUBzAujj/mmvD5xX1Ij/dQZFZasfhS0xQWj92mbQ7JWl2ckO6Qm4wCxXh04wgKVwFmt5cpos9EYCrqtJvC0xP6fbLZ08Ckkn8DX5YR7bRTeeCMSw8nMNv9766twjfVm4UD72v56E2fugjP4eHBcymZOpy78iNL+KIPa3SCbeHOdWqFFJpwpNNdkTB55qjVoyCpkaJb+CqeRbZKdiTHJ/QUC4kJAC4HQDjoDR4gLsrwG0NT9NtVN9njSMXFHi+LIC4jHTbRPYEYsogrwmaLo4VTPkvozZrxV1+gPY8CBbgOHgjD9qY4ar/EZQdT8fWIx8q/JcpiccJfkkwrC3RBhoaTgojDsch1+mtQ8DJfe68FHuTuCkwWb+ZbB/Qb1In4es9HEY9xD9ubTa9cgmkCGbG/kruSHEua/48enfxT/6RiHN+QuPph/BXzQxLg17S9HfXDiq+qPAshzKBnB7Zree/eSQ4ErOwiClBLICJOCWvCqIt0OecfXvssRaOyY1KiBxMuK3R0UOjt6WxAGP6mkbBjN+UUQG6bY7K1kCk0FM7OIFLvnhDZpFZxYDKigH+Q6Rto=

%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

