%FILENAME%
haskell-simple-smt-0.9.8-2-x86_64.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.8-2

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

%CSIZE%
87838

%ISIZE%
396784

%SHA256SUM%
e351cb7f471032d9547841350251fd5a471c2df936333fe3c813c861cdd4d142

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760286896

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

