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

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
1.0.1-1

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

%CSIZE%
103437

%ISIZE%
475268

%SHA256SUM%
ba6d68b85eded2c29fd39ab418c5cdb90c45384186af144d911879e07afd04d4

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAfMACgkQrx0hme8KPM/EdRAAjzJAUExTM5gmqCbjARg0k7QvDjE1LNn2awnS16b5BqYjwwrmKw52TUPi9uDpS4+8GY+FGNIrN2mw/XhUs/f7gm4jLbEFw3WF54y7SJ8we59AVxkcqbB3tBO42rpSMZPXypwaC08P8/1g1iH9h8F5Ab38WQyFcQjnBLjLF1OE4cLX6ZLpgjZFLu5YfFhInBm2sKhye4QI+ZMLroDZ6geL/9kBOFkY3wWnq3C8ttpHbVq0UOKj0WHqt4l7B/gA720S5eXSn6gpZB2un8M27SSBbanlVK9vbBk8oMRxmInUA74tj0v6tiAxS6OnV3LH//xMyibIcEN3SNAuKTPjx0Qht4KTwg7ZQfdg/yyTwEzowzjfX9FJBDxUM1Ws7ullPNQCymcp1HnctmqFvbew6F4WN9njI1njBpy3elbPAgXZWMa20Va4GL1dCLmqRIHuPg0rj/+huhRZrjpWlmm4/vEEtlfIkgJw+H4pXdXMD4/LC7GnDtSbBOIIS/c7nRwBFB4wDKEgR8MlhJ5govtBiWyj7m+4kAsBd57E9VPny8Jt+dURKWZeVhqsVssCnYrPkNb9boSoCXwGp2dcRuuqHX3jLOBUWPLVmYL9yLjG6F3v+Dwj7TTW3ZckKi46H2X2KiULNHB8AkKqh1SvKObZKRZxtnZ5TX33T1mMQ2vzftpuz0Y=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792353732

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

%DEPENDS%
ghc-libs
haskell-simple-get-opt

%MAKEDEPENDS%
ghc

