Gentoo Portage Overlays - dev-haskell/what4

dev-haskell/what4

Solver-agnostic symbolic values support for issuing queries

Screenshots

https://github.com/GaloisInc/what4

what4-1.7

~amd64

drealtestdisable solvertests stptestdisable doc hscolour hoogle profile

View

Download

Browse License: BSD

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

ChangeLog

commit 8e81774753a85aaaa0c4b09bc076fcbda3e340b8
Author: Xavier Dectot <xavier@wheredoibegin.fr>
Date: Fri Mar 21 21:48:28 2025 +0100

dev-haskell/what4: new package, add 1.7

Signed-off-by: Xavier Dectot <xavier@wheredoibegin.fr>