packages feed

smtlib-backends-tests

view on Hackage

versionuploadeduploaderchanges
0.32023-02-06 10:26 UTCqaristote6 revisions+37/−23 lines, 3 filesdep ~basedep ~smtlib-backendsdep ~tastyPVP ok
0.22022-12-16 13:45 UTCqaristote+288/−0 lines, 6 filesdep +basedep +smtlib-backendsdep +tastysetup-changed

Dependencies of smtlib-backends-tests-0.3

base >=4.14 && <4.23 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

smtlib-backends >=0.3 && <0.5 0.3 → 0.4
2024-05-28 20:15 UTC0.4+58/−40 lines, 3 filesdep ~basenew-uploaderPVP ok
2023-02-06 10:26 UTC0.3+129/−66 lines, 3 filesdep ~basedep ~bytestringPVP ok
2022-12-16 13:44 UTC0.2 outside bounds+202/−0 lines, 5 filesdep +basedep +bytestringsetup-changed
tasty >=1.4.2 && <1.6 1.5.3 → 1.5.4
2026-03-25 20:04 UTC1.5.4+332/−166 lines, 22 filesdep −semigroupsPVP ok
2025-01-05 19:52 UTC1.5.3+36/−11 lines, 3 filesdep ~containersdep ~optparse-applicativePVP: major bump suggested
2024-11-03 00:34 UTC1.5.2+22/−5 lines, 4 filesdep ~basePVP ok
2024-06-22 10:14 UTC1.5.1+131/−63 lines, 10 filesdep ~basePVP: major bump suggested
2023-09-10 00:08 UTC1.5+1005/−263 lines, 24 filesdep ~ansi-terminaldep ~containersdep ~optparse-applicativePVP ok

showing 5 of 75 versions

tasty-hunit >=0.10.0 && <0.11 0.10.1 → 0.10.2
2024-06-22 10:14 UTC0.10.2+15/−7 lines, 4 filesPVP ok
2023-09-10 00:12 UTC0.10.1+30/−52 lines, 5 filesdep ~basedep ~call-stackdep ~tastynew-uploaderPVP ok
2020-12-18 09:42 UTC0.10.0.3+55/−10 lines, 4 filesdep ~basePVP ok
2019-05-15 05:50 UTC0.10.0.2+38/−8 lines, 3 filesdep ~tastyPVP: major bump suggested
2017-12-01 19:24 UTC0.10.0.1+51/−29 lines, 4 filesPVP: major bump suggested

showing 5 of 15 versions

Reverse dependencies

2 packages depend on smtlib-backends-tests

smtlib-backends-process 0.3 requires smtlib-backends-tests >=0
smtlib-backends-z3 0.3.1 requires smtlib-backends-tests >=0