%FILENAME%
haskell-sbv-7.9-12-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.9-12

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

%CSIZE%
2295028

%ISIZE%
18256896

%MD5SUM%
88bfe1d28deab55d7fb48921f6127fe3

%SHA256SUM%
550e2e706a8e5c88f07480433f4f9b5aaf543ba915b1375d512957fd0e6d6637

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls6eC4ACgkQdxk/FSvb5qa3jQ//ZgU1zWEiHCaTKw/NPSki4C//gGO3lZPSPzzXSJvS9QO03jXhw5wbiNmZqPcV48K49cPgpzpOqzuXrEaT+/T2MzrtNJi8K/fohxxJvadZzn5Wlm9eUf6IDasg+AexmOptdSMnQyJ7sWkCVCNLytQpgPuJOfIUUVV5hYvPRtHdGDvgtA864yzNDPd1eKtwr3ZrIPTABzAAKPPNMFF3py6S0F19tm+5Zu83XGbTQcsiBtve79cfVr4PWanHrn1EzHZ1g8jJv2IH1Mn00hcZJdLTwY5cHIr0REwQJR4ynSRZeAdm4DensuZNZgVyQJQTutw5ypj7evTidkGqLA+O2G2TbGmfuLXv8o6k0QFPibT8UdGPo9MpSUOM9frrqMWN4imV7irAoDBAlyLFU8Ux3ABDI3ihaSj3E9shvcdz91daEDZQF+n8W1EWsErxl59k0+9uwK9dU55VwoONfvLlgqG1HAtCkZXDYKQ9fbSmP7q6WjZdEbyDNTvtGDPV2Aek0d30/0VrAWVdHg/cBVS+llPcGwJ3Oyka3guZKHorvnm+ASV8IfpjutoJnVdz3GV4iOrX7lBfvzv1GKiV/iZXs5QMaUooRIbkLD7Utz/ROHyqkRR4rl79Ibt/aivalfHLGXHdXcW3GcIn9E3wkb4g4nqPfp+D04x9PO0DtoMFig8lPQE=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1530556267

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

