%FILENAME%
haskell-simple-smt-0.8-3-armv7h.pkg.tar.xz

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.8-3

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

%CSIZE%
66460

%ISIZE%
382976

%MD5SUM%
42f25d95dc5ad14e4901317037c0d726

%SHA256SUM%
85b6a1ebdf0eb6d36bfe9eaa6b73b7b04332b1b84c098d85743fbb4515437be3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsUtKIACgkQdxk/FSvb5qZAoQ/7BjRverIIM3avm6G+LyJJm3MBD2N3oIlFggb1Dc6H9OXXx/DJzAjBI9sUkXwxEEHUrzHORx/iIdgVIfxPHAhk0U6QQ1uUEgHRtc74UG6Fu7UtkR1v80Y+qb6VQTRqSlaH1w2JE/hogMxwulg2lwWPRVfnZ14GkM9DTaw5i2HbPZMTMHbRxNFdwUUrXVJsYX9GxQfvZusgWVFy3LSA3vN3k5bY52Tk19uyfQkfIDx4Is3LdfpETf7xOAvpYobyz/uSAoludECy9ZQWip7Rsw3FVQrMYMe0GQvT8p1zP41vupgWG+JZ2c66aRuTBQtKYEnz8L4N7guCFPrToXtiCTK1zmVEBVOfhlWe5vrZeQ6M95pLAE7tah8Opcv3hirK+R4wN8YnlJeeyKSdMWEWe+jLdqgPEaoMZEEaY98cg3zB75Bb3qEJGCKLUrrmGMvFTIX3JmWEHUuk643+vVKmYIQxI0nAgwI05vL6NyET8I4j564wI/CbAeKkdcsw2GLxqSe2P8jI41sUy9BzCs6UN9ttMX5MdlII5Ury+jQ7w/uPmmbq49YJx85WniTgA62Uu++vhLra24Weez88Oyem4NlPFVBC4yailW8zPasdG0Ft6M1qFoNuT2rpAfkp6RV8msaFWCf18e6cZD1zqGJPr/yJ+GI9HEr0yvxG58C2TZg9vTs=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1528083564

%PACKAGER%
Arch Linux ARM Build System <builder+xu6@archlinuxarm.org>

