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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.9-9

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

%CSIZE%
2296840

%ISIZE%
18289664

%MD5SUM%
eed8fb30ce0f250c9a1168895e3aee54

%SHA256SUM%
5b6611fbdc08b88721da00fef963040632deba1e7e3a53ffa9c0488a3c280422

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls3r9sACgkQdxk/FSvb5qZofw/+Ixs468enqvXcF7Z4i9DHnIvWIR11vMna4A1u/5P63EtcOF4xElIlUxTTG0IhLEVwzBp2siSkGqHgIHHQdzKJ6DRtwvDadTNunRXEU4PlwNqim9t59NbeiRmiuuMqsjpSuLvYMv2YO3YaoRtGOKV/lFjCQ4bQbgZEoqTWSJBNs2NgA99DXakId45wZUQewxov51G92tUEHMcT2ZjrLjzkrvjfW1OzI889Q1eHU7MuvTTAmPgyz9Z9oNicPmAqv/Az+Xp4BGXA4/xPnYTYOOVSJZ7mZRrDO+0ulJvSaitMIylopSU1eO4baPVFX0Cfa0G/nHJOfumx+4lRsypQw0j7pA+6G9n+cztjY/KvDXD1qTX7L4pOm/599oLbvMxQLFN2VXev5Se9LMXG7QOWTn19wnTsKNHB89plUSftgqi6LIugwbYMhaWnK+23+a5mQ+qtwZ94FKuiik2zmc7pyQ+gr+Jh3iuFVO0lak6/8dZsW3KmXXeB7pVQH3UhhYl+dtlTHJJsbfYQLvNR1JHMxIe944PB1xkofW4yGQ+PeMLAe5+LxqQo9sAmSP0kxb/fXmufZjIeOzBESMtlAlsq9uC4N504ebkhIG8mrw37ikjdD39aaPtWA6KLAOGwYBK5EcHYP1kQyHuDOihLN0yhjHz6MlWsM56Xube5PVGXoMFEg58=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1530373912

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

