%FILENAME%
haskell-sbv-7.5-6-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%VERSION%
7.5-6

%DESC%
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

%CSIZE%
2177772

%ISIZE%
18076672

%MD5SUM%
9eb443f27406e3ae463ed09f1465289d

%SHA256SUM%
f46bec8b5d1ca13f04f3bbc104143d9eee677c380d8456d5580f25e4f0b9638f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqBr+oACgkQdxk/FSvb5qZVYg/8CciZYxs6VIp6iPifvl2pOmQ3NcJfaTlscbQVBH3bHNf3zcMz17UCzJl/0r9dBolTZYi8o8lxY/O9p47Qs0KPzrEYadWaRE/iqSzM8UZc27SsJtzFdtVQfeNXvrbUmyptpcCpqc2xHdY6/iC2zGczmv8TZSkM4tIZZz/dVTfo6yeAPRuQTpETbLAotYX+uAO0ETIfYYRi6WJEZ+iDdHA0rDi+6t01eyt+85syic3us0aManSISv8ENWZ5ynGGStjDRBXK5oDqRnCBu5uHA2fhyRjBG0/bG0FQC7N8JFBqIeG24woW2+XW13eQskXHQHAn8PtnsgRnvVfgTu+HVl/nzAYj0yIJkCT3DdCuY32QULR28RPTHs6eHQy/0PSVQGzr1xtXWGp8AzqLN6UxC52nqAUqYFbyt6z3tvS6msg3lg/r12zlraqU7KpKVilDFrXgbqGnQgEHVSG1DUuFtQD4YMSJx6LBOgiF8tbTXM30RKwEcZbqTHPDGEgT/rm90fSQUbx0x1UCVPLUZOrEhyzorCtNd4Zwv3GaKxG8LMAwVXRIax7JtQ8ZZX8gkpHIviTzSTD3iHd7hgYCSyIYwbBFD0UnALlEGLmb1sJXC0tZ7EQzWkpFL3gO9BWRLr+muwdbTLzFEOV4AbZV6CiY6AjjRFVsnMrRYFxFATzWYlxmc3Y=

%URL%
http://leventerkok.github.com/sbv

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1518448599

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

