%FILENAME%
haskell-smtlib-1.1-13.0-pentium4.pkg.tar.zst

%NAME%
haskell-smtlib

%BASE%
haskell-smtlib

%VERSION%
1.1-13.0

%DESC%
A library for working with the SMTLIB format

%CSIZE%
313945

%ISIZE%
1787762

%MD5SUM%
6256d264dbcbf805b212cccce2d53e1e

%SHA256SUM%
9014e5225a1feaa4bc6a55bfd6a190e2fbc6de8549f559c1005d1107d9bb46ae

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFjtRkACgkQyOj1oK+bp+cngAf/cfoicNARAh9OhYbUG3aCCbblW1hgyD2/HOtBpi9ZPRnfRVLz2cxuyPB5bHw6eud3pAWo0jkN3h67XNpUwYFVXeCNBq3EEkgiX17K4crmlNQmqEXTc3UdvaTqiaPkIKrrMiwz+ivszqJuNkKG+D/z1RUD4bg7brBVTujTr8O9ZkDqRSQJF9pMKzZJPIjJwwlnotrl9v0WD/cHimIjI0H8A0MIEW+qFE+xsEtm3keIZJEamvsgpT2iWrm1AOCgI1dsH4rze+ms64BVPlrUucOFNlEVddqKk14MULZWPlOjduOzcfge4eyZOJGVvhAjyx3czgvZOPKMTba6T475SKSeYg==

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

%LICENSE%
BSD

%ARCH%
pentium4

%BUILDDATE%
1633924349

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

