haskell-sbv 8.6-14.0

Architecture: i686
Repository: i686/community-staging
Description: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
Upstream URL:
License(s): BSD
Package Size: 3693.45 kB
Installed Size: 26388.17 kB
Build Date: 2020-02-22 15:59:57
Last Updated: 2020-02-22 17:09:05

Dependencies (64)

Required By (2)

  • cryptol
  • libHSsbv-8.6-1FGrQqOAWvAHa9i4Ypgqy3-ghc8.8.2.so (cryptol) (link)