Gentoo Portage Overlays - dev-haskell/smtlib-backends-tests

dev-haskell/smtlib-backends-tests

Testing SMT-LIB backends

Screenshots

https://hackage.haskell.org/package/smtlib-backends-tests

smtlib-backends-tests-0.3

~amd64

doc hscolour hoogle profile

View

Download

Browse License: MIT

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

ChangeLog

commit 76d810c69d9375b72585a8317cb9ea802217af8b
Author: Xavier Dectot <xavier@wheredoibegin.fr>
Date: Sun Feb 23 12:08:41 2025 +0100

dev-haskell/smtlib-backends-tests: new package, add 0.3

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