%FILENAME%
haskell-simple-smt-0.9.4-3-x86_64.pkg.tar.xz

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.4-3

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

%CSIZE%
66828

%ISIZE%
348160

%MD5SUM%
1e16f92e0f98e7d9008c9744e9d12bab

%SHA256SUM%
f4fa8970f2bd65093830d1d72d8327101fafd7a07e232b1bf4a186d2615a33bf

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1556204825

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

