%FILENAME%
haskell-smtlib-1.1-17-x86_64.pkg.tar.zst

%NAME%
haskell-smtlib

%BASE%
haskell-smtlib

%VERSION%
1.1-17

%DESC%
A library for working with the SMTLIB format

%CSIZE%
310896

%ISIZE%
1783650

%SHA256SUM%
10bdccdb45ba08bbfeb297d614826ffff31a0c5089321d8d8614664bb21cda4a

%URL%
https://github.com/yav/smtLib

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760303487

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

