%FILENAME%
haskell-sbv-7.10-29-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.10-29

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

%CSIZE%
2334656

%ISIZE%
18578432

%MD5SUM%
9fffb1e6b2cc5f120b5c161e3142251f

%SHA256SUM%
84fad9b3f0cd230a9469f3cceb06d376898b18b13e648105b8e12c4c18423414

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlug5TMACgkQdxk/FSvb5qaXbQ/+JSeH2A/Fe2Kfydl/IVIJN5QeaPhuvUBvApils0rN0m10VJYMp2YB5XrAUw8ZQV3UwuRlFeFVXH/Pz/623Nw4ki+Y7uqbaDx3vgnrXA/WON1KsYmxD9H+8l2e9RvEmippH4fV5DYZaJkrSmmrlKPEy27Vnyq4nsOZMK1e9Y/NDraK+nVSowd5xX5Xg+aQ66OPsN9Pld+HL5Yvdiv+Al3m2BrE5sA4UD2lcl7mkmXDriCJPEexu2coxqmudJumZLMTrxg/zNFAhd5bw/iI7Kwu8YyT3IRDhU7o1x5Jwm7puDt4ZlM2bhKBgD0yMKHUwfqsOfNBDDyO+buUZOnIEKf9ltXD1MK3oTCQRUwgrVv7kXQ0mXKjQXdIZsqRrZn12ZzrnNzKIzg7M412GvcAvefhxdne7gQbf0ejfN7pS8FDWDcbnhADacPV4kzPOn4TkqS8ul4x5AZcurnfLNwxwb+3pqNbMmn3wrJ0YJeYxumxfv2433wj39jM72rueUrxU9BOi9pDAjFW5v6dRTwEjApI0rR/HNi4wV1hV/nb5X2RH1kGPbpZeXEFDIrGM5QqKyR6y/OFMaSUgwvD8+MZrpDu2TZ63VcB5/ep4gGJSU83r39Vf+NJGhhHEcHDnieOYhGaPYxh/IYQE8ShGJ7qUjYbBtv+wWSPFPS0ccH4xv+XNfQ=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1537268864

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

