haskell-sbv 8.3-1

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:3.3 MB
Installed Size:27.1 MB
Last Packager:Felix Yan
Last Updated:2019-06-14 19:47:57 JST