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

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.6-1

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

%CSIZE%
78273

%ISIZE%
337207

%MD5SUM%
d0bea4bef82b62ff39a849bf9acd04f2

%SHA256SUM%
c755780657b027ad221e46234b75244ebdb2d70a32b93661b537900cf0794977

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmBaV18ACgkQeGxj8zDXy5IpFA//S7N9UALBNo2UcVjuLbSW745xm215yY2ji+aeT9LQl3V7LqPAXUcs+C516HnBd/JMgrA539zGaYUlOmmhR5rxKBpVcjHtt3VUpTSz4zgX+J+YAMkfWbDYUtb1iJGG/+vxf/Cg7PAA98jJZ1755luq7fusnFxgF2PLYMLTbkHz0fT7jC9sd0bUW00grmKwKowt5ZHc4fKiyJmrdWLrBmhKCZlZ7JCoW63S/Rh3mfKQ/EpkSB0LFFJwPcwTzJhjH0jMVd2OVLjYeGryMz6cMOn2aXDSmIMbqg6ypq5PyMwp+ai6PEXPNb7eXnqpY0rA6+SHAhT4tzSlJOS3iGqE4Z/LBJn2SLjnHb5eW1EtYH2e6g2dAX4bb6lpllL2BYzOnI2zaj/W/w4OFklM3trZYVVrssMy/og37EeKapuDNIoyNImdYIqO64iKp5oaoeG6BjSo+yv/8g8Bg7H9PUU3N7UYDGlcpgU2xVFL+l7xcaVro+fwgbcH/oZEf36RnmqgsmQqH7qwkdS9b0v9lmKg8EEgeHEeA3by2TuZYIDQUhp8t8WWhT8BcjyMDhzHamoD6vkPN4QY2434PXFdr1sSHWph1AKO9qVTl5qrB+gAWMm+ikuQTyP/+yCr8LLYNIpBjRe7Tm4c2woPM9jKMlXNCRBSsd/GLZW9u+JanBnBW3i3kT8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1616533310

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

