%FILENAME%
haskell-sbv-8.9-41.0-pentium4.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
8.9-41.0

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

%CSIZE%
4025190

%ISIZE%
25956063

%MD5SUM%
deac6f03a1080e5549b2bf6e5a72bfe5

%SHA256SUM%
b72bbc69a53592107a76b6983b8442485cca24b92af09b37b393967c9a6c99ad

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAl/5mtgACgkQLBRsAalSrA85zQ/8Cv9Ok+cpu5+jr61Z1NmH489s8lR+G6gyclqZUdpYIYYNoOo2g9E1L63vMffV1DLb5mNrIDhRdQ0gXHJTU+s6X7+DaJNxhN31Rxy0pbugrZhFvRVKGgs8ptoziwUd69oJgXjVl8kR8gM0u7pawXPNFKI4kkpUQIBUPytXYZcEI6Sf+heNZAGWwkZ4rUcBeGG6wJyCL11pmmVfkQsGWR5ChEyBGfllNfc2jNEPC21MtfH/tIQPr5i47+7yZf3I5oUqWJomdgUcJFG0XISQfiNFPU+59oLA1WoMPel9rwcCksAHJHokshSwOhHXTMYE4qnFRO47Sz5jMjbvuMQxaP7RkymuhRyaudseaUH2W5sXONh/NWn9IdpIB25YnMRrc7hm4nVrT4T5AVDl3syessGF/Ok6ZfdEtZcawz5//SqkX4bpUaxDYDndUJdk+5DHP5j6DGJrbKTHMqH+OpAbKzUtklN8dweoHIxu16inAB9ddbkgG4uihTIo4oe44LBMgw2p4fFx7NTeQus/72ePTZIYBepvSQCIaquvpKJ13Y7VbtMhmdkN1r7iLGd4afhJesZQCVZ2r3oUfDmAoPVc8zrRnMX9PGK55bhuDakz+AFeyvbxwMxCF7/f5ZCMhYL10EYHWrZonW2ZiE3mHS4WHp7s/ckZJN6MvLBXpZt+zX200oA=

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

%LICENSE%
BSD

%ARCH%
pentium4

%BUILDDATE%
1610193161

%PACKAGER%
Erich Eckner <arch32 at eckner dot net>

%DEPENDS%
ghc-libs
haskell-quickcheck
haskell-cracknum
haskell-async
haskell-random
haskell-syb
haskell-uniplate

%MAKEDEPENDS%
ghc
haskell-doctest
haskell-glob
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

