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

%NAME%
haskell-sbv

%VERSION%
7.6-4

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

%CSIZE%
2181040

%ISIZE%
18022400

%MD5SUM%
b400203d2f792f1dd3aa8e51a17a644d

%SHA256SUM%
c10873c240ff006445f64b6b3b040e10351e16b11d384377406937ded3251acf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlq1Xe0ACgkQdxk/FSvb5qaBiA//U/e4TkQEagIwIY5f54OI1TUR9C3pBewYlEDjSSs4u6NJvp0Mwh3ZbhTnr1vMgu3Qk1HQeVTAMMHgI8SZNvjFFsPMjj+U4ct2Qh9SvO5o6WxiAQde4cIu6D/jcyGi6VW0zcw/zeobsxaJpXCdkqV+fuLmI/vlmj/+ijRf1IsJcKhkOiU0Seh/+0jprWKW/2sbxcL+ZGFrTawsrDyp2liiE9VORhhpkI4uJIMBw4JWR17I75uLOBhD5Ehqk7wjYITvV1dWNoYuMjwUKN8YdeUuCog+l3esHKeXuxm012yv4PlFzauOEy1W4NbkP2gOjXoYDoMoqOE+6FvHyfKfHamxnB5P8qwDutEosDGaXou2Png+lL9C4RGHgiObWx/S4ftrSjiE6Jj7UzyewrJS+X712EGd0bvZ44UBuNLb3N7t2hQtcngigIY4F0uKE9VIOZ+dd10/CoSLK38E/PmHnS+GRaJgIJlkJnEt+b5sxwsqKRIHFGJXqvVBFOYOPP5fwpTp53JDhIyalvBquZzsJFh0UkR5CpOpkdINknaUj/Vx+sensfHo0NKNZTyigQYhwnaJFxQSZuBbw0dh0Kw3Zr7Kd7JNgvG+WOwAi+GuHvBJwZWCxUmQJt9NZx5u45Z6kI7XaAIeh4X9kEw/2h4X5h6WFm1a8KrwEckKih+9L+PuCys=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1521835483

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

