packages feed

smtlib-backends-process

view on Hackage

versionuploadeduploaderchanges
0.32023-02-06 10:26 UTCqaristote6 revisions+248/−150 lines, 6 filesdep +processdep −data-defaultdep −typed-processdep ~asyncdep ~basedep ~bytestringPVP ok
0.22022-12-16 13:45 UTCqaristote1 revisions+385/−0 lines, 7 filesdep +asyncdep +basedep +bytestringsetup-changed

Dependencies of smtlib-backends-process-0.3

async >=0 2.2.5 → 2.2.6
2026-01-07 11:26 UTC2.2.6+503/−61 lines, 7 filesdep +unordered-containersPVP: major bump suggested
2023-11-21 08:08 UTC2.2.5+1025/−797 lines, 5 filesdep ~basedep ~hashablePVP: major bump suggested
2021-10-04 12:00 UTC2.2.4+26/−8 lines, 3 filesdep ~basedep ~hashablePVP ok
2021-02-16 10:05 UTC2.2.3+160/−78 lines, 3 filesdep ~basePVP ok
2019-06-06 08:27 UTC2.2.2+48/−15 lines, 4 filesdep ~basedep ~hashablePVP: major bump suggested

showing 5 of 23 versions

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

process >=1.6 && <1.7 1.6.29.0 → 1.6.30.0
2026-06-11 10:14 UTC1.6.30.0+19/−1 lines, 2 filesPVP ok
2026-05-24 11:03 UTC1.6.29.0+5282/−4831 lines, 7 filesdep ~basePVP ok
2026-04-18 12:18 UTC1.6.28.0+70/−33 lines, 3 filesPVP ok
2026-03-08 19:39 UTC1.6.27.0+3/−2 lines, 2 filesPVP ok
2026-03-07 13:46 UTC1.6.26.2+4852/−5346 lines, 7 filesPVP ok

showing 5 of 57 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
smtlib-backends-tests >=0 0.2 → 0.3
2023-02-06 10:26 UTC0.3+37/−23 lines, 3 filesdep ~basedep ~smtlib-backendsdep ~tastyPVP ok
2022-12-16 13:45 UTC0.2+288/−0 lines, 6 filesdep +basedep +smtlib-backendsdep +tastysetup-changed
tasty >=0 1.5.3 → 1.5.4
2026-03-25 20:04 UTC1.5.4+332/−166 lines, 22 filesdep −semigroups
2025-01-05 19:52 UTC1.5.3+36/−11 lines, 3 filesdep ~containersdep ~optparse-applicative
2024-11-03 00:34 UTC1.5.2+22/−5 lines, 4 filesdep ~base
2024-06-22 10:14 UTC1.5.1+131/−63 lines, 10 filesdep ~base
2023-09-10 00:08 UTC1.5+1005/−263 lines, 24 filesdep ~ansi-terminaldep ~containersdep ~optparse-applicative

showing 5 of 75 versions

tasty-hunit >=0 0.10.1 → 0.10.2
2024-06-22 10:14 UTC0.10.2+15/−7 lines, 4 files
2023-09-10 00:12 UTC0.10.1+30/−52 lines, 5 filesdep ~basedep ~call-stackdep ~tastynew-uploader
2020-12-18 09:42 UTC0.10.0.3+55/−10 lines, 4 filesdep ~base
2019-05-15 05:50 UTC0.10.0.2+38/−8 lines, 3 filesdep ~tasty
2017-12-01 19:24 UTC0.10.0.1+51/−29 lines, 4 files

showing 5 of 15 versions

Reverse dependencies

1 packages depend on smtlib-backends-process

hasmtlib 2.8.1 requires smtlib-backends-process >=0.3 && <0.4