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

%NAME%
haskell-sbv

%VERSION%
7.5-15

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

%CSIZE%
2177900

%ISIZE%
17991680

%MD5SUM%
edf32d74abb786075c45d514f58894f9

%SHA256SUM%
fa88562f13d9783710ab79c0c426e878300c06befc16aa07cc6a63c90891768f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqXw7UACgkQdxk/FSvb5qbr+BAAqnIVUoL14+Ognj41T/akUekvX2rZT6SK3Hljfn9t5Ctkraz6rklfC9R0Kd2xf9QS2mlwVggxK39talFhJH7Q/+jvWaCKh3EBcR+cRtEElJtNDfyNk7xpLurvja9GuKsiDg0wykphsAs94BtQCbfx8eRrAkdXSvqOe/RP+TQ5hyKWydamNkjd6nWcaQngaKJccL05Zbq2BYnfMLYYMSb74XY4rS6dGes4HULCFxgUqAtmfItu9HuH0u0ZBPoLjfq+Rkj3Q4ccJ3rBWeFSpTHn0odjvAnBZ1dOcctdhOwIKEOsf3AV0DMZWOncAAZVnkyX9CY0CBMs5LscihWLdVtXJqsiRl1jug4ZLbwJCz76DaFK1nhQUFv1UXkrEB89QI/nVMBKtGTceZD0SQV5mmgaqS09Ts+tpYHxVofWWnCHFQNZpW0A/Ib+ASNTvVCuXqS9Sgcp+oYIJfdi4dPur88rzoW6KrGi6LOcobFXe2x8Ov6n0Xnszr/DPdhC9oyOvTevU2hJa1s84QeIn4ZEyFwwM0d46NhWg7fPmJeALweEbvml4xGUSOfNWI31AWr4ZgEdRx7FmduhSQVvXT0BvUpkp4gwkgAF+72uq2U3wjbBSTzdIJ8We+z7ztEeih+OPVD0CY8uXW9CjTcI3s/JvqtVHXpyFzK9+SIIBUpEJhzaRrc=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1519895458

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

