%FILENAME%
haskell-sbv-7.12-23-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.12-23

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

%CSIZE%
2451740

%ISIZE%
19302400

%MD5SUM%
c911f42d78d46f83e04ed4babc470def

%SHA256SUM%
77e08c5f8bed35b21e7c561e0a48006f88b2c2d3af186ca5cfe450075b3906a9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvbJ2QACgkQdxk/FSvb5qaTCQ/+Kvhlc2OVGWPwN2w6ZekmPm+p0yjY/FmotgQc54+4PbQU/ORss8MCTAMmsAHZ60rh3sG6jiMTrekFWpS/3fPzyKkt2sagrrb1BCIUi6qyOi47Z04DXKJsweOeA3mf7emdrLflZ1HNvOHQMTfogViBZ0EiLe6kiJMHS8yvyg26mhXJxrdAARf8lwL+GVV2q/FmSElMA9ACBYZOjcFNjApjmY0/eMnNPFrZvBfSTMeRw+DxZ8yUNn6MmCY0kvt7DSV0Qtau4kUtL50EeCxPJUfQUx4Iy7K0KWGDcVKFDChbg3tiqHWJ+HEZTgo2n4ZgjlQ2Akn+JAOlLsZknNs4+lwYKh6VP61ByzldrbCho/+wrdguwl789KzghmhjZ/t+BlXneEqSISTjseWOfS70Dt7SpK6/OW/3RwoterjsAsFgW99f06nylRk7EDemCaLfdFlVtqk6GgYsHgZVHDT6hDMx7RLCP2ESDxVMB9MWN1hi2Ypj/Jd6bKT5kjgoWroGlFeqMNoXdNNd5NG1yGKxna1SuxyqKC3RBGQUx9PKDIIIMC1wVhGz7DCvzDPCyQpt7nRrZEZyQLiyHH8UUrIc6CUcAztv6/LEG+WL0LGf/HHfsqwdAjygURbPeM1Ml4Ek00K00uuuc9GFQyB0S0hpZCb5p42Cr9XDXvzzY+f3hjSRTcc=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1541086257

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

