%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%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjsLosACgkQeGxj8zDXy5KJ3Q/+JlikAUti9fssgJifpA3P48H7a8NkXhAge1z2dZvh9QL/w6VIXvYvsBs+HudiAUSywsPCmKZgsanQcKhRlpAjs1shXvmnixVvmibwIg53hZCnX968O+kM5hmxDBsmjlcbKBltVKpogKMD30jheCPPiwHu3IHaRIdMf4q4/Zb74tB8HeIxfR9bq7JZJ6+b5Dv3zmK3KuWoasrFQgC2fpi64d2+FBFKEWRW5c9K1to1IhWZGsS4zyHYi+hUwy5RECXqjV7czGv7pUgeNudLODWBtubKUlOle8C+H+6J111dsPBEV1kvkqxbtLuKvkg0H/iaznMdhxLRQgGzXj6m7hR24rsGk+ICVrPBZAJx2ZMZwFqkqoezHh9hrEAFJeiE78EKvwEf+Jl6E99Ys48ajbQ2DwjrJ6ZerhNi740owd6S4pFHjG6uvoSoxIvsJDMQpQos0GDgP9iVq2p8aGh+DxFs+GuMrl6413HnrYMQQZ12XKoRHZJVskK4RbRVs53bSGOxTUGmyITDSlrNy4Vwl6kNX6JUkQPJHr0lS/PXjwM1cKIbeMXfzUBtUidL4q0A7XMOKeezM5CAL/d6uv7vc7ZmkwibyuYY8m3HKiupgjfDLyv1R1ufAv3OlH5JeWD7tAMsWRIt2E4ZfcTWM8ILwpRHjQrpza7Fktz0H/RdVUt0Lgw=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760308852

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

