%FILENAME%
haskell-sbv-7.10-2-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.10-2

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

%CSIZE%
2330876

%ISIZE%
18574336

%MD5SUM%
86e1a2a071e143cf69f2f1c3189076b0

%SHA256SUM%
98465599acb90686207dbf65da1b19a9380cb3bbdfcb331371118b53617b1b00

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlteAMcACgkQdxk/FSvb5qaXmBAAnLeTuGgptW28F4KDJdTVKCpwhowJOpZUq68+EORSiai7H4zm+KKBEEzvBCCHY7OOiBFzghlne9jpujWZ8CucGPdR3E21dKGy2wtp02f+njW0F+23waOzHdXjtCO/DgnvrsEZEqACDqga1RmBEedgradvfdQBWEkdQYvG3L1uyMQgG/Qn7M2mAzWDozaMAcwME9vIGyX27zim+JQxrQp7arrgePwe2z1ZUpEGimIgY2x4QXvQEDyX9Yks7OwaKycF5bQkWUOeAgegGMZ2o0gz2MkEyHaCiiemIMKc7F1zEejt6Ra3N0e2JJ6MhsVrI5KDEpy1r7e7oXHAyPdRLd7IPNIqkvlKJHCmhzOWwfaQIVx0r0EOXXmAl98nj983YhG26+aTtICGMLrulvuP+vEnJw2xtgbOsSANbxCDFu9L5wu6qECNH4G6nfGhSSUH7rnEYdTDnB6BvNyrsvhFp0U4gw7EFP1yAzameMkPNPq+OSOxTv2v9DmBN5Rah/Ev/9U/YTycW3LPoQlLB2jPSTfYzW86TvA8Tbm+2PP8oh9TDJhXrMCwCunrK6n9yOHpuZjRMaU0fD8sDn5v4Wi9UbX38sKfMPVT2UxWiM4tKZOJg8OyCXnQxGiSY/oiiKEvNVSQUXHeQuz5bf8j7wQSCe4rzxEe5IQOXI/1mQpratJYPhs=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1532885022

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

