packages feed

smt2-parser

view on Hackage

versionuploadeduploaderchanges
0.1.0.12022-10-08 09:32 UTCliuyuxi+544/−444 lines, 5 filesdep ~HUnitdep ~basedep ~parsec
0.1.0.02020-12-02 13:24 UTCliuyuxi+1431/−0 lines, 8 filesdep +HUnitdep +basedep +parsecsetup-changed

Dependencies of smt2-parser-0.1.0.1

HUnit >=1.6.0 1.6.1.0 → 1.6.2.0
2021-01-19 18:27 UTC1.6.2.0+48/−42 lines, 5 filesdep ~call-stackPVP: major bump suggested
2020-10-31 12:09 UTC1.6.1.0+35/−21 lines, 4 filesPVP ok
2017-03-20 01:42 UTC1.6.0.0+9/−5 lines, 4 filesdep ~basePVP ok
2016-10-16 03:35 UTC1.5.0.0 outside bounds+47/−27 lines, 5 filesPVP ok
2016-10-07 03:13 UTC1.4.0.0 outside bounds+761/−778 lines, 12 filesdep +call-stackPVP ok

showing 5 of 22 versions

base >=4.13.0 && <5 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

parsec >=3.1.14 3.1.17.0 → 3.1.18.0
2025-01-05 00:08 UTC3.1.18.0+159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtl
2023-10-04 06:08 UTC3.1.17.0+112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tasty
2023-01-08 20:47 UTC3.1.16.1+6/−2 lines, 3 files
2023-01-08 18:03 UTC3.1.16.0+124/−19 lines, 8 filesdep ~base
2022-05-10 10:14 UTC3.1.15.1+19/−15 lines, 9 filesdep ~basedep ~mtldep ~text

showing 5 of 27 versions

text >=1.2.4 2.1.3 → 2.1.4
2026-01-28 08:30 UTC2.1.4+30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell
2025-08-01 20:08 UTC2.1.3+2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell
2024-10-26 13:22 UTC2.1.2+43588/−15378 lines, 41 filesdep ~basedep ~binary
2024-02-16 22:16 UTC2.1.1+986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell
2023-08-26 18:49 UTC2.1+448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader

showing 5 of 82 versions

Reverse dependencies

1 packages depend on smt2-parser

hevm 0.58.0 requires smt2-parser >=0.1.0 && <0.2