%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHcbokACgkQeGxj8zDXy5JdkhAAmSOabgw4xbTOKooeGiDSY7Ox7jddUvFxEV94O5u7HPwBUjS6EejRUo2Arz8Y17JRH5QpSeP8m8eA5v6BEl62xlnOA1TSEf44nzh94STU0+vk/J/N/7RA1rwO7WMyZXkHIh9vo84U5u2b7IC1XzYEZQWKzCuWxicbq+zwtD3dnIeTokdnrFIBXvBcmlJdT5gIJfNFVxzv/mNQ2bVoweVIIOQupJcmcCnqagVZKbPO6LHSJM8hm5O6lwNVc1xA6Wo9U74lyEV6hRFRwAhucBeGLyfi+qCyvGiZ4gvLdOocOtoANIewg1igklJMkesKosBlz9re+Kp6Dpc0DbHtuhtjRm2NWgQWvsSCVoGfQmeN9xxxvfcjHGIYwc3pm6RX8Wh0Cy548y+QnSrJhuLCS6cgLscjAes+5QREjwN3GCySQ+hnXmUIvUJZpSgyRFIReaVV9lGu98Olhsa7twb0Szwx9t2ew8apJ8BNTDX18xkQVQexsaYxAbFD+jDPblt66UiK0gNuPP+gsFzpJ4nmbe7lkQrIJCT6BycP2PJmpJo9jyh+QQ2s9yGOGEFOi1TJE2aeQH2+62by3ay9q4tYEfY6fAalFUy0EqgiSphOKIFM7xng71zVScEfPcuu4qWSyB5Ccnklga359PHGmd/6MWWDcHJfXD+JuDhnfh9W1p419zI=

%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

