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

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.8-1

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

%CSIZE%
90612

%ISIZE%
415620

%SHA256SUM%
9ad21f0585a003531975dce6a02396c72eadd4f8243375da5c8119466d160ef6

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkWcACgkQrx0hme8KPM8QFA//UCztDDU+s8kuXv8lUQr7loTZNlp77/umJEVHFh/TeifAByW0XqD+m+7ABDQgXUilWWUA9zckloW7gQIl+cC7rVSTsjbWeC4Mt9wbXjya2RNqYBYB3K+H3W/DYBT/jrLbqTWZwBUWCt3/dm7G1z/raYvegjYvN1uvbYCFDps/XwUZuXZ9tT3h84sc9D7llqJrvy4zjWo7Y3oB4kg/Q7zqVRSIBiLSIz6i2x8TXfw+ZEIBlUS7n4xkRC+XkIcDmrkPYuVZrrXoU3N+Mha1j5Te7aRZRmi1WwEwH490jr1X41UhNxO3O+l+NgZH0lOcGa11J2yd9IVNhi7u1Gsnest43tB6biZX2IbC9cfotXSNbkwYabkyNwHo4B30JQYL0gQDMEntFsA4gay2VQ4WxuGtld0aoHDBU/FRjtzZStFo8R5KgvIlK0bN1I/ry+ob54JCKMmcxDqlwdEL9tvZjOZyIEXGPvgIfoqgZ1pt6nW3OIyGUZ+8fqSLaVlPeJ8N+CyM6vtzDvrHAb/sgCIOzYMCff/zX142t7+/Zy/mPi76CjjYahRDmIjxMGN6EaQKO/rBxGql8jY+Hc+eTrQ0uiYlgPYQ/uqmLjU+2ii+C8QN9zQ3um5gUCn42zDb4UzNbwO12Qgp04pqPFmlWnsS9WYaalZ1ETpD1LUUSNQ1GEHe15k=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1743772776

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

