%FILENAME%
haskell-smtlib-1.0.8-3-armv7h.pkg.tar.xz

%NAME%
haskell-smtlib

%VERSION%
1.0.8-3

%DESC%
A library for working with the SMTLIB format

%CSIZE%
328012

%ISIZE%
2350080

%MD5SUM%
8a66720413ae624c4dfc7b421c1fa235

%SHA256SUM%
8c14df83973ba1e040c7aff3cbffab46198b9f8bc56809a8066d42a1ac615842

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAloi8hoACgkQdxk/FSvb5qZZzg//c6PdzwJJ7MAjV13yKHTaao0jq2mjqynwH1F1S9CXVztNujqlnrHqxdFsXDm2RRQzBPDklCYNXdU7t8R4wHtWkkBNi/mGvvGg8/pchrXJ706wpBuAKUXyLXzcoEbDz+x5JuU9uH4V+CUH2ivNXYKhpF9OxWDv0HFCK6JWG5eAr5CY0VJ+f6p8qHLHkOhDTNlZMJTgLArfr7FZo+TSCNhh8CTuOrfefBCotJjuAbHKginHeF9O8QfHoTUeMX7ChFkb+JZYTtJ+FJihLWdJCyi4eGpcy2NOSCG4HIHTNIs7Nj2Po2iTodbWmUmuWLQxw9u7H/+pEjq15K5IFtPkf4871G3C+I97s7i01M5lOgpc+8VPD1DxNy4gEIYxmHW329haVLDyJuDJknuR0Q+15pNpFHRb0wTVoHNJkolkT5HLkyC1NZry5CQ0NgK+raVs2T2QgrPdwfBSUTr+XEAHj1TSojKtaYWxmW3rFD+Tpl43nxyLslv5o+3eDjB7VOWPwYi6y9prjR2f1SYYDcdx8P2mJxpASkq4agA+6yVOvRenZG2n8av4WdnFUVRl497QzKODCREjDJTC9+aIG0lIldqdTodSOvZAW60Kx66wAXWapGh4H7mv77I7wQlyienMHvcVG90dgl38yq7LNW1xliSG+OA47Cfi6aq0c5nak6Yt1sk=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1512239635

%PACKAGER%
Arch Linux ARM Build System <builder+xu9@archlinuxarm.org>

