%FILENAME%
haskell-sbv-7.9-24-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.9-24

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

%CSIZE%
2295356

%ISIZE%
18256896

%MD5SUM%
0529483ab20a684d432e92c6d8b137c2

%SHA256SUM%
f7d3cb15e39444bfa607a33760528b0005ef04244a5e36f90f767a3605810a81

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltFyrIACgkQdxk/FSvb5qZCVg/+IeyaxDPuZqicmnYrQAjtS9awPXuwj244GKSC+HUBo+Rx5PcZr9OsdGoss+8gPjyr/4jvipXRe1yKGguQhdosvwzbLkUGW8w/qDr56PYqlbV+i7Z/QOT5MJUD0bWidaE5UacqQBLLoeNQH7j6Ein0zpAwVgzL6ssTLztmm4smLPOeppttaexfXXWhR9fSnbkL/p7c5l5axfEmOg+4ulscu//IhI6bn+ze9WI1QBsn08lTqKit46KoMUmPg41FvB3w4A2uHPSNPCI1UnU8X35QwR+R+Jd0yvrfSUavWopgWrI/Zi5DbgCBR/79NAgYFL1ZIDARBSwDYukuvvzgJveseCApM7In+hsT1WAJZlbPO8s+IkVRqKg166VbNFAX8VsSmLNSDe/jZJLVVZ5sMTjBo3kJpT5jCN3wcp9RAQIFaH8ehnnSkQf0p0/rlDt+VTDJucAD4BLav0dgnUznZ1kpAeSqzbmpTsRrGgakSvpSaSSuwF29m0W7AqSuj96YpTt2pzVviA53sTizfe3gpoKLvgkPenDS+NyewtTqhun+pQUv5qVmGZF8/szFOaEli0kWox7AGc9TlrGWUPtqCnuwwkVKh+M83eYoSy9VJo+8PNkv6o9HlP5i8LaeMks9Eg5NeDBwjwzGhyL7LNtxv5oU82MBBBHVy1IgbiUACiY80mw=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1531298459

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

