%FILENAME%
haskell-sbv-7.10-21-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.10-21

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

%CSIZE%
2332492

%ISIZE%
18578432

%MD5SUM%
1aa4545f6c6dbaeef3eb9e6c0a482944

%SHA256SUM%
14b065f4a8f09af2ed901f023638b037ec043312e3421e5ba6c2a0aacf487af4

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluOz44ACgkQdxk/FSvb5qYD+Q/+IOVR+pmZFsaDY4Fb/FUNZRfmbHxaZ5qCrzq4TwVFuX9f/ct+x7U92Klz7rlMCLVYWOtxKYNEgp4ggrtcmsjlTmJM6+2NK6rL/dR7uYLp+jww9ZeY8f1CyOG/PDxFbS4F2h5lMJZV/XwspWimA+9lIgzMhnN+yGA0yX2MnP3XU0uu79EF6WzkGEPOy+HdzWgjGqo9jN1Bynk1lBji/oF6gi+g56B0+0yqEteu/8n0aW9rlfZ1pBBVatJFb52cEXoQb02kOE6c3PAIQQribcebegmFEa7xwZwZyENwptDVXrPB7Ry1OYKMQPMhxzA18BHjjmy+B9vSXQzpky3HaEFVuXg/rxb8h+BLY1FpPvVbQ14Vd5a+1dbE+FnaEipr8PpgQI+hbcJnR51dNlJfIqKiY6+jvH9bTiEaN8IEzDy6HLq1TQkqzIU+5yVFd5la6wA7Q6/Nno+ntXQ+DJGh/7GgJpq3tJAypd3JyKupIgRcXYAZLUhBvhcn+a1Bd0b21yK6aijegXqepVP7qqEx6B2HHRX5J5WnKhJ7a+J3/tdEuh9+rxhd6MNG4GSP+Is92XlxsGr1l6alSE933T553jxOfg7gGHVm6oMYg3Zs6fgXjdnPx0GgTKDkZ+NdBe3EQHlmQD2NCEQmqsNuOX+y+DIF0OdV/r+tnPqpkKgGJlUO1jI=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1536083676

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

