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

%NAME%
haskell-smtlib

%BASE%
haskell-smtlib

%VERSION%
1.1-17

%DESC%
A library for working with the SMTLIB format

%CSIZE%
336700

%ISIZE%
1990760

%SHA256SUM%
e0495fbcc5aa6d273541ddf4e95d6f188c18748de54f593110aa92bd5e41f3c2

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

%LICENSE%
BSD

%ARCH%
riscv64

%BUILDDATE%
1769973172

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

