packages feed

smtlib-backends

view on Hackage

versionuploadeduploaderchanges
0.42024-05-28 20:15 UTCFacundoDominguez3 revisions+58/−40 lines, 3 filesdep ~basenew-uploaderPVP ok
0.32023-02-06 10:26 UTCqaristote2 revisions+129/−66 lines, 3 filesdep ~basedep ~bytestringPVP ok
0.22022-12-16 13:44 UTCqaristote1 revisions+202/−0 lines, 5 filesdep +basedep +bytestringsetup-changed

Dependencies of smtlib-backends-0.4

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

bytestring >=0.10.12 && <0.13 0.12.1.0 → 0.12.2.0
2024-12-06 21:41 UTC0.12.2.0+538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok
2024-02-16 03:27 UTC0.12.1.0+3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested
2023-08-16 01:53 UTC0.12.0.2+16/−2 lines, 3 files
2023-08-05 00:03 UTC0.12.0.1+47/−9 lines, 3 files
2023-07-07 01:45 UTC0.12.0.0+1459/−520 lines, 21 filesdep +data-array-bytePVP ok

showing 5 of 49 versions

Reverse dependencies

4 packages depend on smtlib-backends

hasmtlib 2.8.1 requires smtlib-backends >=0.4 && <0.5
smtlib-backends-process 0.3 requires smtlib-backends >=0.3 && <0.5
smtlib-backends-tests 0.3 requires smtlib-backends >=0.3 && <0.5
smtlib-backends-z3 0.3.1 requires smtlib-backends >=0.3 && <0.5