%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOk0ACgkQrx0hme8KPM/iyRAAolrvqBxBdhnMOHiCbjs7njfiJELTW9j2BTcYGNvWSlZu/8wM6USBFTgpiA8jRT9SS+i5ejgiIBEAGH4J+Zh3jcqkowNXfZrmJ50ueMGLbSq3OdUBmeCm8qADkZ+2Hy1HfcbZC14HrEZmgJyYYHVsdEComHeLo4VywRVZJdsr/6lIAtUMbrU42tDaCNaO//eQzDAXB5xNXvYrOtemy+Zpfdd+hWaZD9XrAo8WT7SfrAI6zajtXRi+5iFX6wZNjCx2WtDlA0SW95PV5OL/yImtIbb7fDff2Nyz2cwQ7pjjGS2NQX5BnSRprs+PO1S/zw/1S+zmRA/trzjSVJYqw8/XdKtZdW7Dde6f1gkGH1GUe85C9/VTVZrbmy3voVDMz3RZCrzMX6SfeEd2M/VzNOQ5+BB5E5xT0dI9PaVV7eGyAqx7fBnB26yAJp7FQi1vY32nje3Z3t3QfWh7s/OL7vcNQQYp5AFDF8/H4VqFL2U/EwJaA04WyimODJ8Pd6yL9AEFA7nsJiufIKRSPZVWKeLYW0DzsN88Q9YZ5rUZtAnMe7FIqMwR0cMO4axeSuGIDSW5QMcirCyp6JbgFUPTyskjDdx++jRXHJxnWhXBO5oyucmlANObVoyfCfot90C/r9BUPsADlw1W5GghzIwUImTvKduKyBqIE1Ubagml2sLCVUY=

%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

