%FILENAME%
haskell-simple-smt-0.9.7-1.0-i686.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.7-1.0

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

%CSIZE%
73128

%ISIZE%
292372

%MD5SUM%
183dd79f22eb4d5a6e14ea17128c9c68

%SHA256SUM%
1525cb5d19d8e63ce6a5f36d521d9985371638fc6e843fd9ce12717c8d2fd43b

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAmFje3kACgkQLBRsAalSrA92og//fh4jUXZaqE+jIkuo/smVC2KGv8P5rSr0FGH2zmYy1pqk6VaQQEXIo18dUB8h+tZQb72q85YhNXpUKPhYmvzNFP1rR4eIQRCwxmaCvjE0DZ0R0CjqwlIcwfi2T+ibg1aO0lelQRiVSgGXTobFCF0CSOeQ4/nIC4LBGKtnpw6QcVTJARA53K2sEyhMkGHMGaNsDzJ1UoslNoBkRebylpR9ft7LrcLtX/sGEZsqC8LW8Ewfhoe9+0Vzg7chaiJ/J9qHqlT8qxqKjFgEx3l3yi8zb4M5xHgKPAzISYeOrYrmNfJEvMZilI52PPHXMxnVyiHti23UHvPnDdEwye9KsDtDbbjk0Rmff9HIAdy9iad4LPkDQBTAp5Gh1pfy+vVi7++hdku8qsqOlmzbfvD4OJZ0KyciCKnSCnH3T6OnuNdGqJdB2cRPEVnGglkwrPcN5SyMy8hqEwTNCkgEjKK2i/zUclpdUuJqZO/MPKUdSi8EPrYGMiFwtM8uKb9vcDHCOrzyLNQ9eGj0N25DMa1ZcCbf4oVAPoE690CWxqYusMJTJgAaQ374ON5P3FOFPDflvsU72USj8nS/lW3ESQQvp+1nmA+K3c8dMmaGHj2l+BNInwUGrItbfGfmL+glyQNeUKkZBHjrT0jhWM/CZYesP2wvaZzc5yLJXebwQYnYfttVyCk=

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

%LICENSE%
BSD

%ARCH%
i686

%BUILDDATE%
1633909581

%PACKAGER%
Erich Eckner <arch32 at eckner dot net>

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

