%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%
309875

%ISIZE%
1783650

%SHA256SUM%
07416a58cdcbe700702f92e057b0a6bd262d57bf89137729f4cdbcf83306690f

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30MACgkQrx0hme8KPM/LFw/+MNuc3SxcmsHWfcKmC7QH3flVFIk6jucvdWkhEMkYzRONuMsowoKnZONHN7rHTHLy/3/AteLVKvnfnT7psKOzwRrYKLDFbcBgBYjyjd93nRZAchq/5PTvsOO5y6G03+EXnHDsvAN/ust9+F7Hr4sjxzOt8Pc1+WktTZbbxkAXknBh88LdI70M19FYF5xPXHgjYMJX2IS1ZCXyRUDEVLhUToTtnyQW0zpTHlcAffYPEdJMfysa6P8bkE7EGszyXfpcoVVKHNuDGsLjYVu9cfM7kWickmxM1gM5ihOvRGPnuNcDzb/HZxmjaE7Jc76/3KaVx4gx1y/Ga67lOE35RdfipoJuxxLAPZzdjyQCUUSrdB7cksNdvUx3Z5YhmlhzDausYHj9J2i7BAM1e+rNKTVZs5LnojSEvxqgNPjGuSgB3crstDPd6OY0MJd1SrXVd/c/NzoINjCLrC3r+yv7RjHgiRtUL040+s1M0WlGWvJoX2cIaizksqkvW5JgRDNf/DQ+OAsQYRq48XUytm+W7hPSvhwYSGrhn9Nv+paGzkak7MsWDteLqHEP+7XWrwEVRoCgC15Y2zlUWmk5SsfGv0QufyfcZpXCnYzFiMniDp7IUu8etR3dSS6Vt5SBwGXQaYRmLQaCY6XSwDC6aBvEXwj7qVh1psjUC26GiA+1nAv1wUI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760308852

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

