smtlib-backends-z3
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.3.1 | 2024-01-29 11:54 UTC | FacundoDominguez | 4 revisions | +45/−9 lines, 4 filesdep ~basedep ~bytestringdep ~smtlib-backendsnew-uploader |
| 0.3 | 2023-02-06 10:26 UTC | qaristote | 1 revisions | +205/−75 lines, 7 filesdep −containersdep −inline-cdep ~basedep ~smtlib-backendsPVP ok |
| 0.2 | 2022-12-16 13:45 UTC | qaristote | 1 revisions | +253/−0 lines, 7 filesdep +basedep +bytestringdep +containerssetup-changed |
Dependencies of smtlib-backends-z3-0.3.1
base >=4.14 && <4.23 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.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 UTC | 0.12.2.0 | +538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok |
| 2024-02-16 03:27 UTC | 0.12.1.0 | +3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested |
| 2023-08-16 01:53 UTC | 0.12.0.2 | +16/−2 lines, 3 files |
| 2023-08-05 00:03 UTC | 0.12.0.1 | +47/−9 lines, 3 files |
| 2023-07-07 01:45 UTC | 0.12.0.0 | +1459/−520 lines, 21 filesdep +data-array-bytePVP ok |
showing 5 of 49 versions
smtlib-backends >=0.3 && <0.5 0.3 → 0.4
| 2024-05-28 20:15 UTC | 0.4 | +58/−40 lines, 3 filesdep ~basenew-uploaderPVP ok |
| 2023-02-06 10:26 UTC | 0.3 | +129/−66 lines, 3 filesdep ~basedep ~bytestringPVP ok |
| 2022-12-16 13:44 UTC | 0.2 outside bounds | +202/−0 lines, 5 filesdep +basedep +bytestringsetup-changed |
smtlib-backends-tests >=0 0.2 → 0.3
| 2023-02-06 10:26 UTC | 0.3 | +37/−23 lines, 3 filesdep ~basedep ~smtlib-backendsdep ~tastyPVP ok |
| 2022-12-16 13:45 UTC | 0.2 | +288/−0 lines, 6 filesdep +basedep +smtlib-backendsdep +tastysetup-changed |
tasty >=0 1.5.3 → 1.5.4
| 2026-03-25 20:04 UTC | 1.5.4 | +332/−166 lines, 22 filesdep −semigroupsPVP ok |
| 2025-01-05 19:52 UTC | 1.5.3 | +36/−11 lines, 3 filesdep ~containersdep ~optparse-applicativePVP: major bump suggested |
| 2024-11-03 00:34 UTC | 1.5.2 | +22/−5 lines, 4 filesdep ~basePVP ok |
| 2024-06-22 10:14 UTC | 1.5.1 | +131/−63 lines, 10 filesdep ~basePVP: major bump suggested |
| 2023-09-10 00:08 UTC | 1.5 | +1005/−263 lines, 24 filesdep ~ansi-terminaldep ~containersdep ~optparse-applicativePVP ok |
showing 5 of 75 versions
tasty-hunit >=0 0.10.1 → 0.10.2
| 2024-06-22 10:14 UTC | 0.10.2 | +15/−7 lines, 4 filesPVP ok |
| 2023-09-10 00:12 UTC | 0.10.1 | +30/−52 lines, 5 filesdep ~basedep ~call-stackdep ~tastynew-uploaderPVP ok |
| 2020-12-18 09:42 UTC | 0.10.0.3 | +55/−10 lines, 4 filesdep ~basePVP ok |
| 2019-05-15 05:50 UTC | 0.10.0.2 | +38/−8 lines, 3 filesdep ~tastyPVP: major bump suggested |
| 2017-12-01 19:24 UTC | 0.10.0.1 | +51/−29 lines, 4 filesPVP: major bump suggested |
showing 5 of 15 versions
Reverse dependencies
no known reverse dependencies