%FILENAME%
haskell-sbv-7.4-3-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%VERSION%
7.4-3

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

%CSIZE%
2124920

%ISIZE%
17426432

%MD5SUM%
89b5752a053b263abe0e6edadab9bd54

%SHA256SUM%
9f2e071e53b904e5ed0a3852b8dec3e1570b60b3c4d9efdbc39946ad738e7569

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAloq51UACgkQdxk/FSvb5qaAZA//fvgyrCGBVN8O1FixO5V6fw9kFMqh8lOBsHknvjVFt1A5cXhRuDt23W6ClVl7Wr++Kubmki/zq626jFW0Ce6l4DKwdoRobC2uA5VooWFoNfV8i3y1YJ82M7TA8CUPimjU6MXR48bmB6SHxpbP3gejkTgE96HW1req6/KvQHEwKki0M3b2dFm50hhFBWPt2ZcE+xWeFjpZnYdV/cp6cnqVBhWu6zRoACv/0EXHI/gYHwL24FbJ3StW1uRQeXKTu+uI10mA31QAfh4kjZtLchXicB3LbKgmMkLt6hIdXZwaIMb9GHwkuLcw2o19J2Gbo5u3yPePf9VIAjaYgQC3pFr6iQeP3c26ksMYdPbOnFdcLj5pxKAt+0JCbDz5PNtOPr8XpMJjFrCTKKA7Bq3OcxK1uAy8YpF3GGCu7VWRioJfXot2Tm1zgojYQeqPzZea8sOwFTEtSZxeqYp7DUF11aE15Vlga2UODHehjqFkQ0AXD4b5MaGoyEKoO/37V9djzsJTkWLfTwT2dGoG5+M9+PAXQjGA2Nj7aQSheiJ8D1RcuDSsmGvGFSLC7WesbgNpdBKa/Qx4wGSVLPuBAJ5ZxU8R3WFxCEYtgp7JRbwuNWgpgD6+fbovEmg2AQXkg2DGvun7HCisU9easgcSq85kscM8yy3qTa+g+lgNQOUJV2TreiY=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1512761152

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

