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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.10-15

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

%CSIZE%
2331132

%ISIZE%
18541568

%MD5SUM%
501abd6d4f1d7caea45e85731060b112

%SHA256SUM%
8cbbcd80831eac821f6636c4fcb813400f7ae1a2b618a137fcd03cc4815f3b31

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluGXnoACgkQdxk/FSvb5qaNJBAAgSr1SBu27mLcWhiW3yiRUJukdBpxoxdtjxd+yiUv7PrzSHXUe/V1amAuPZT6wthVClUw0wAVNqFHvnXzg/lpvGvUjmbIQL3uxqmv2Nmsg0mIzxgXADQ6gZD9ZJCo6CeiOTFin0jbZM9WzU0htGLPfB8Q9gvxIHDwXVdB8Pd6BAeE6eS/wQXYpqTRkxuD4XujJ6fePiG5Nfq4ntQ4k8rY7udETpLV41rU4rrnLP3POVcHOAShbpbITgm3fJc3K5CfjnT1j8ohnAHLSiO9LKRAbfRM1LsMkCwBg1X2BGg2izxuAfqIGq1H+gsa0Zh6H0m6KS6pJt91tuh4DR6K0dVQ/nEUIOzvFfLZddK9X8bSAKfgs4/3sBQpHv35oxwbBz6vsmi/mGpJQa348pn30wFmn/ChmWSsoo3gt/8HVmFfYW7S868TWHEvRc9g1uEH5BpKuJPgjuMQYEkxwMSmuO8wuuoxOe7osNNcKkdRxvkkZA3sg4uF5Uz6V8xVKHpkF0E6jDM2LE/O27FrDjTxHIholT6wsX2xPdDYUXnPkk5k0lSurySFMXMKeXiSRfPgnGyH8smAOnNS3kwRbxzR3Jy2TZCO3e1YgT59/TmKaNE6wK05ghHENxCUfvFcCX+nzctZC5uKPQ485qkAqV5Ol5Mp9/BOX0w3bFbff4+rFvRfJ+E=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1535530447

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

