master · x86_64-linux · 9a32621949da · generated 2026-10-09T00:54:19Z

haskellPackages.smtlib-backends-tests 0.3 single

Testing SMT-LIB backends

Name
smtlib-backends-tests-0.3
Package set
haskellPackages
Homepage
https://hackage.haskell.org/package/smtlib-backends-tests
License
MIT
Source
pkgs/development/haskell-modules/hackage-packages.nix:641717
Derivation
/nix/store/7k04b05wr0dx7n50962f2qfv3ja8chqj-smtlib-backends-tests-0.3.drv
Repology
not reported as outdated · look up (as of 2026-10-09T00:52:30Z)

Maintainers 1

HandleNameContactVia
ulysses4ever Artem Pelenitsyn GitHub · a@pelenitsyn.top · @artem.types:matrix.org listed on package

Dependencies 9

PackageAsMaintainersUsed by (transitive)Status
haskellPackages.smtlib-backends 0.4 propagatedBuildInputs
ulysses4ever
 21 single
haskellPackages.tasty 1.5.4 propagatedBuildInputs
maralorn
 21,766 single
haskellPackages.tasty-hunit 0.10.2 propagatedBuildInputs
21,553 unmaintained
ghc 9.10.3 nativeBuildInputs
cdepillabout, guibou, maralorn, sternenseemann, wolfgangwalther
 27,268 maintained
removeReferencesTo nativeBuildInputs
51,818 unmaintained
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,198 maintained outdated
coreutils 9.11 other input
andir, balsoft, dasJ, mdaniels5757, pyrox0
 102,188 maintained outdated
glibcLocales 2.44 other input
55,234 unmaintained
stdenv 26.05pre-git other input
90,086 team-only

Used by 2 directly, 20 transitively

PackageAsMaintainersUsed by (transitive)Status
haskellPackages.smtlib-backends-process 0.3 buildInputs
ulysses4ever
 18 single
haskellPackages.smtlib-backends-z3 0.3.1 buildInputs
0 unmaintained