SmtLib
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.0.0 | 2015-02-22 16:22 UTC | roger62 | +1790/−0 lines, 8 filesdep +basedep +parsecdep +transformerssetup-changed |
Dependencies of SmtLib-0.1.0.0
base >=4.6 && <4.8 4.7.0.2 → 4.22.0.0 newer than bounds
| 2025-12-19 11:52 UTC | 4.22.0.0 newer than bounds | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 newer than bounds | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 newer than bounds | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 newer than bounds | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 newer than bounds | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
parsec >=3.1 && <3.2 3.1.17.0 → 3.1.18.0
| 2025-01-05 00:08 UTC | 3.1.18.0 | +159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtl |
| 2023-10-04 06:08 UTC | 3.1.17.0 | +112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tasty |
| 2023-01-08 20:47 UTC | 3.1.16.1 | +6/−2 lines, 3 files |
| 2023-01-08 18:03 UTC | 3.1.16.0 | +124/−19 lines, 8 filesdep ~base |
| 2022-05-10 10:14 UTC | 3.1.15.1 | +19/−15 lines, 9 filesdep ~basedep ~mtldep ~text |
showing 5 of 27 versions
transformers >=0.4 && <0.5 0.4.3.0 → 0.6.3.0 newer than bounds
| 2026-01-12 12:42 UTC | 0.6.3.0 newer than bounds | +28/−1 lines, 4 files |
| 2025-04-06 22:39 UTC | 0.6.2.0 newer than bounds | +41/−42 lines, 8 filesdep ~ghc-prim |
| 2024-09-25 11:37 UTC | 0.6.1.2 newer than bounds | +70/−21 lines, 19 files |
| 2023-08-01 19:13 UTC | 0.6.1.1 newer than bounds | +281/−42 lines, 11 files |
| 2023-02-04 08:15 UTC | 0.6.1.0 newer than bounds | +64/−4 lines, 8 files |
showing 5 of 42 versions
Reverse dependencies
1 packages depend on SmtLib