haskell-sbv 8.5-10

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.9 MB
Installed Size:29.1 MB
Last Packager:Felix Yan
Last Updated:2020-01-05 12:54:43 JST