%FILENAME%
haskell-sbv-7.7-5-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%VERSION%
7.7-5

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

%CSIZE%
2267868

%ISIZE%
18686976

%MD5SUM%
1296612eba9c52fbfd2701aad34f19b1

%SHA256SUM%
329de15fb27f3a265b042cf455a6180b97b71b3ef78269780b177b80001d4117

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr4GrMACgkQdxk/FSvb5qYhuBAAyFIahXKnl1mRXfm3k4iihwEaxIGSeSxFCenFlhMNTa5LXPA0mSplLWmMl+VnRQ+DPTUv24qWm4ucgX9e6n2VSjg4yivaSJ2n/e+H0nUC7hUKMSS5xfkl1WHGBKLXUeC2LszlM/1ItCR0aZLCLIRVrs5eFCNKK4obiSip7CRfkYOxiS80tKB881CaPWoYDdmnNwZikdJ/37Xj78bgptyNOxpCHl9jWGN7M4w34yBXE7LfDOqKLWO5AjdE0+NxbeZlFVi4XgqCZxQLAerYUswGJPsMQF/6/zT1u3Sr50tVQ2GlMH6cEVwtkDJsjPlA8CPSBEXNn/DXXXd5QblwW1JiWte/SmflnGZSfjzOUm1VAxLlI+jXOaX8WDqdE3tc5Hn2eEflc0xIhF0AMmOGXj20a8AnpCGDZPPYIGkYc4x4Et0C2lkeRxTJHmoA3ALLtnkBSejnNB3FOt4gN3QanXO7SAp/Ov2Je/V/Kr65qYxnin7hQ3ugnHGwDrmsZQT75bGRZoMFGVCLlfGYEoOb+mfMjquJBVGDBRb3f4bF8aPhfNEAE/rkgoYNOX06bTRujGV+9MiHN22F9AH/imi8LUMBITcw08391VFOzPYBV0dxFpnSEk0gn1kkKpb5r/qHpeRkpZn5a/Yfm0xaHWkjzdF4iid4tdx2m9j+5TxSizqnEqU=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1526209183

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

