haskell-what4 1.2.1-134

Architecture:x86_64
Repository:community
Base Package:haskell-what4
Description:Solver-agnostic symbolic values support for issuing queries
Upstream URL:https://github.com/GaloisInc/what4
License(s):BSD
Package Size:2.9 MB
Installed Size:18.0 MB
Last Packager:Felix Yan
Last Updated:2022-05-22 00:35:19 JST