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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.8-15

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

%CSIZE%
2279064

%ISIZE%
18199552

%MD5SUM%
fd6acb5ca730439822c8aff17430f9f6

%SHA256SUM%
238f0eb3b4d0b9ffc1aac2927e980b14c349f555c90122585bef9dfa9dd9d56c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsYPEgACgkQdxk/FSvb5qYOHRAAqvt1RTEyqkZP5kL5gp95019UZDjyg/PtNSAbbZ/RktQzpTes9kIGzWjuAcUTBnUh8BWGs2IaARavzXkv/EYemkBVsmp3X8LSCowtmZ9Mb0a/guyPwxdfd5RRka4+ovugn4dPbgrGENIQcbwe1AkmIsms8X1v4YRTqFiaE8ZrfH+XW/ODgzKvYFf+5XgDsu/0YCo6NtURCuuix+DDPUv0B+NxqdcLIT94RviawLDJR/NY/EODsq9lZuj2DN4VvMng8m0C0b0ktFcUSo0LM3yhPJFgWO8S6rwOwJG31gy9mkJwibGl3LzCkbi6kgv17NPjlBEmpFzTNuhQRdmH/SIzr4DdXzhEGaxIzJGZduRvQwiuKEU0V9NDCaH0N0uamoKnYOHNOCH80x6vgQ/LRRDasRlRo5AqG4N4guYTw7JD2gaLhI11noP8s41Bj41Qk9SMAfY6DHwEe6ChsJjAkQsm8m1pvPi3xAv5mMEfjVvVlRlOUg7z1G2+K44yk3sg5gmNGBtWxfKRbWQePsz6lqZp6UoNAmx/+CoejwfjEd8CQBsWL9qTfq/rWRfuAyoQrTlhch7JuqFDcxw+yU6zf5AxMbSRpg66EV4Os+jfYPSGG/fKisDmI3S24FsRAHT55OxkV2UKC5vxNUFjOGaxpC2EVLS3bYdiAslnjgv6df6msOw=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1528312851

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

