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

%NAME%
haskell-sbv

%VERSION%
7.7-3

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

%CSIZE%
2268956

%ISIZE%
18686976

%MD5SUM%
2ffe7a982216c47b59a4c1a66b344573

%SHA256SUM%
22e76988e22b208e198cbed3e01d08f1b06910265627170634197d958062fcc3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr1vOwACgkQdxk/FSvb5qYm9hAAingghaBd/9OLxIhbPwRVxQxK/CfgY1mx1qXrcjcuHN17fIVJwGUHUrKkXIdBijGTRiEYC/Jlrrj8hREvwqL0LjGUy/P5VsTgcEuEQfSO5lc2PSXqZEt1RfJgiE9z0C1z44BfyW63sdR3IwFKp6ppRNURBQMhdu/TmNZD8OO0w8aHyPNnlgg8we6FYmjfQZena/pajPaAlUntmTKDsxbHuQLzUahoY+yhozIRFI5bjdmHLdXrZBljDVmGz2kjuZApa3pCVA1NWxlgFX25Ra3v/PO1mXTeduHuwtBQAc8IWHQTMNbTAdAxxdtvV0IeytS/uyD3S55/KSMRqQC2bNP0pwz5mpshoc3H8zXvmI7rB71w8hQa8JFGxNAdiMRzWiUmLAik5FiDEgzhQxuc6lP64fAfytVdgXMBkSK3TYxsui4ASNHjUvF4MTLLx1E2THknHm7U65XKd4IldwW5oCa+C7i81r7mbQsxFNNXjC0kFTBs1XQDEJLPccQVsyN7RUucEG3/h7Zegqki8gHfgPEhSmqtUjosfWsiIWsayXN6yetkyL8FfGhFOexaVdS8W9lSEYKv+BWi6lZ7plf3MuWMRts3ywFL2sdPSnLmKTRpU1+xsneWjZ9+OdvHVOs8lzQVlBG35RZMfUyaTStHE2pPFfgk6i4fIxPhiZTQxxcswWY=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1526054104

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

