haskell-sbv 8.3-26

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.2 MB
Last Packager:Felix Yan
Last Updated:2019-09-13 08:23:54 JST