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

%NAME%
haskell-sbv

%VERSION%
7.5-9

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

%CSIZE%
2177636

%ISIZE%
17994752

%MD5SUM%
b081cd9d9c758b7d7d71b6a4b7217670

%SHA256SUM%
c7e393cb9b0a67cd88fe407da43818c7196ab90175bcf896a8b85f410c6b9c18

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqEro8ACgkQdxk/FSvb5qa1IBAApddoW+3NYNXVrCv4lpGtVqI1e41VqRPWnNvda7lcfFspYYpFrpZS27c9aHlTENkVipgyYoP8jYzqO4xto+jNGdbQ0mbE440OTkx9Kg0siH8TcZhSp73jTkYfVuIfTecD75CbXbtk2kHUrZNPZuxptlIILCeCtga8hypKYW03WzFnTRQjw8STSL99CnVKAjGjOSFKFqmW7iNp3L882cmB/xk1/YTkpyXaeLf/leUxGk69y4rJvmbV1ePqr7rxV5nZqGSCikH2sMVxp72PsNUxbHE50lHv+9EgpUlc4u2hM9oBs5h1CZifVLoIG1JaAsHlJ90oIIhyJmE9BjZ4RFohzlXu54OnABe7JUmyiNKUFZ3X/gD3MfdQs3fE1IVooQ9ATlDxd7Q73M9bLY5Rcfw69xM3XFtCtujuDMWkriuCwa0pd3JrNBkK2KFksKMq3a1AvkD75j2Zea91XX9SuOkENBQ1JXz9cdSC+ETuWaHp7wjDhs+IUtkIABpadxm8wW0djuIH30ms3LecrimaoPmIK61i7NwhoAuVG3a3Twsak3yAXQ6uv/5K4sYDAJASyOgH/Kv3NdVRS5yGWHUa3+fOVs3BSRQ37IU4qDiDqs9m/B+mGb+Gpt0EejzN1R464E5GVuHmYTWsiEGZH7Ga1unfLzvGXP9Akzmw9m0QvYAdl0A=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1518644859

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

