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

%NAME%
haskell-sbv

%VERSION%
7.5-4

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

%CSIZE%
2178500

%ISIZE%
18019328

%MD5SUM%
3c64958b41ec714353e1f63eabaf21e1

%SHA256SUM%
a0bbd55324f62451f14608bf1b15f886e1c81b77aeb3603dfa3afe35a5e85011

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlp/SSIACgkQdxk/FSvb5qaZFhAAxpmHzf2iTwDbHwIK8Ct42JG6efv5wnbEyaHtY8oFBJs+kZl0ch3Vxd2xfd/welAJOpWMZA5oMEtdgWvkSUuXOKmNEXGXei84d8aP2rAraKkNLOdeKOxO32OMYRtvs3cK8astj285fNcY4ZJJL50KpH4iAxTXPiaP9PAagjYWiPP17LtjVqmEM9RJ8t9vQmhscKuYyAZAtATPm+LTnN20imdZ9ZwGeiibOK+ToBB1tBuhNw6eYIOcfImOmbs2NfB8RUILdXW+OfpngrB3iPOuTMKjGopp0/mYQ6t5naOAST6GWiTNnVLwdnz15/ygMUHHvK7VGkGkC4DRj0+FY1sMKIxTIn5/iCO+gvqOoaXKUDD+VmE9kRQNCSSyeUYBIHUzy/rl+oqUZfFCPmuR+7bNewV651VzrESRM5I4T9EYQ8NclC0jyqcSwNYfotSnKuKxHfeK9ghEZXuUqQYGgoU3x6v+ZrveqXz4Y2LqFSBEt6n4NL5tCY24Pw0oNZnl+7Pu2YEJ+48IUAHrqc47XcKD7SNGVqtiElmJU8okF6HZNbFCa31epiudnccFA9pZLQNat+9ADhlOAijb/3tl2rtSu6Qqbvebvhof2oy0ZyJjU4ZukmvQe13t6JWiRaUNsco4GAmot5yglj+NMj1QaY0+hKlloFuRrlaG+cLdVK8Qvco=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1518291216

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

