haskell-sbv 8.9-47

Architecture:x86_64
Repository:community
Base Package:haskell-sbv
Description:SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
Upstream URL:https://leventerkok.github.com/sbv
License(s):BSD
Package Size:4.1 MB
Installed Size:28.7 MB
Last Packager:Felix Yan
Last Updated:2021-01-13 01:51:10 JST