packages feed

language-smtlib

view on Hackage

versionuploadeduploaderchanges
0.2.0.02026-07-06 00:15 UTCMasahiroSakai+552/−94 lines, 22 filesdep +hashabledep +unordered-containersdep ~containersnew-component:exe:language-smtlib-fmtPVP ok
0.1.0.02026-06-08 00:48 UTCMasahiroSakai+3996/−0 lines, 67 filesdep +QuickCheckdep +basedep +containerssetup-changed

Dependencies of language-smtlib-0.2.0.0

QuickCheck >=0 2.17.1.0 → 2.18.0.0
2026-02-26 12:42 UTC2.18.0.0+826/−542 lines, 23 filesPVP ok
2025-10-13 12:40 UTC2.17.1.0+18/−8 lines, 4 filesdep ~randomPVP: major bump suggested
2025-10-07 12:26 UTC2.17.0.0+667/−129 lines, 14 filesdep +data-array-bytedep +hintdep +splitdep −ghc-primdep −old-localedep −old-timedep ~basedep ~randomdep ~template-haskellPVP ok
2025-06-17 07:53 UTC2.16.0.0+477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok
2024-05-27 14:54 UTC2.15.0.1+15/−6 lines, 4 filesdep ~randomPVP ok

showing 5 of 65 versions

base >=4.7 && <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

containers >=0.6 && <0.8 0.7 → 0.8 newer than bounds
2025-03-01 13:03 UTC0.8 newer than bounds+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

directory >=1.3 && <1.4 1.3.10.1 → 1.3.11.0
2026-05-27 05:59 UTC1.3.11.0+4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok
2026-01-05 11:08 UTC1.3.10.1+4989/−4830 lines, 43 filesPVP: major bump suggested
2025-12-24 02:55 UTC1.3.10.0+90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested
2024-10-11 10:43 UTC1.3.9.0+235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested
2024-05-20 06:52 UTC1.3.8.5+15/−13 lines, 7 filesdep ~basePVP ok

showing 5 of 55 versions

filepath >=1.4 && <1.6 1.5.4.0 → 1.5.5.0
2026-01-20 08:14 UTC1.5.5.0+68/−12 lines, 8 filesdep +QuickCheckdep +template-haskell-liftdep +template-haskell-quasiquoterPVP ok
2024-11-17 13:06 UTC1.5.4.0+26/−6 lines, 3 filesdep ~basePVP ok
2024-06-29 15:30 UTC1.5.3.0+876/−871 lines, 13 filesdep −QuickCheckdep ~basePVP: major bump suggested
2024-01-26 07:02 UTC1.5.2.0+330/−256 lines, 11 filesdep +generic-derivingdep +generic-randomdep +tastydep ~basedep ~os-stringPVP ok
2023-11-25 08:29 UTC1.5.0.0+53/−3744 lines, 35 filesdep +os-stringdep ~basePVP ok

showing 5 of 35 versions

hashable >=1.3 && <1.6 1.5.0.0 → 1.5.1.0
2026-01-02 17:45 UTC1.5.1.0+7260/−6790 lines, 5 filesdep −HUnitdep −ghc-bignumdep −randomdep ~basedep ~containersPVP: major bump suggested
2024-07-04 19:38 UTC1.5.0.0+50/−156 lines, 4 filesdep −base-orphansdep −ghc-bignum-orphansdep −integer-gmpdep ~QuickCheckdep ~basedep ~bytestringPVP ok
2024-06-24 10:44 UTC1.4.7.0+8/−3 lines, 2 filesPVP ok
2024-06-09 19:43 UTC1.4.6.0+60/−83 lines, 7 filesdep −test-frameworkdep −test-framework-hunitdep −test-framework-quickcheck2PVP ok
2024-06-08 14:07 UTC1.4.5.0+7338/−256 lines, 15 filesdep +primitivedep +tastydep +tasty-hunitdep ~basedep ~bytestringdep ~containersPVP ok

showing 5 of 52 versions

megaparsec >=9.0 && <10 9.8.0 → 9.8.1
2026-06-23 16:03 UTC9.8.1+31/−18 lines, 6 filesdep ~basePVP: major bump suggested
2026-06-18 19:19 UTC9.8.0+108/−29 lines, 7 filesdep ~basePVP ok
2026-05-21 20:24 UTC9.7.1+34/−40 lines, 10 files
2024-11-19 16:16 UTC9.7.0+319/−29 lines, 7 filesdep +arraydep ~containers
2023-11-03 13:51 UTC9.6.1+8/−2 lines, 2 files

showing 5 of 48 versions

parser-combinators >=1.0 && <1.4 1.3.0 → 1.3.1
2026-01-05 21:32 UTC1.3.1+89/−92 lines, 11 filesdep ~basesetup-changed
2021-02-06 20:12 UTC1.3.0+378/−285 lines, 10 filesdep ~base
2019-11-08 11:40 UTC1.2.1+14/−5 lines, 5 filesdep ~base
2019-07-28 13:47 UTC1.2.0+103/−51 lines, 10 filesdep ~base
2019-06-08 21:58 UTC1.1.0+41/−9 lines, 3 files

showing 5 of 14 versions

prettyprinter >=1.7 && <1.8 1.7.1 → 1.7.2
2026-04-28 13:43 UTC1.7.2+240/−167 lines, 17 filesdep +tasty-benchdep −faildep −gaugedep −transformersdep ~QuickCheckdep ~basedep ~base-compat
2021-09-11 09:06 UTC1.7.1+197/−164 lines, 31 filesdep ~bytestring
2020-07-31 13:28 UTC1.7.0+4220/−3960 lines, 32 filesdep ~semigroups
2020-06-20 22:40 UTC1.6.2 outside bounds+176/−87 lines, 6 files
2020-02-10 18:33 UTC1.6.1 outside bounds+373/−145 lines, 13 files

showing 5 of 20 versions

quickcheck-instances >=0 0.3.33 → 0.4
2026-01-08 11:48 UTC0.4+29/−227 lines, 7 filesdep −OneTupledep ~QuickCheckdep ~arraydep ~base
2025-06-03 21:29 UTC0.3.33+25/−6 lines, 3 filesdep ~QuickCheckdep ~vector
2024-11-04 11:57 UTC0.3.32+25/−7 lines, 3 filesdep ~base
2024-05-16 22:12 UTC0.3.31+54/−235 lines, 26 filesdep −bytestring-builderdep −natsdep −semigroupsdep ~OneTupledep ~QuickCheckdep ~array
2023-10-04 18:05 UTC0.3.30+46/−17 lines, 3 filesdep ~basedep ~bytestringdep ~primitive

showing 5 of 42 versions

scientific >=0.3 && <0.4 0.3.8.0 → 0.3.8.1
2026-01-05 13:02 UTC0.3.8.1+35/−39 lines, 4 filesdep ~basedep ~containersdep ~template-haskell
2024-05-14 10:23 UTC0.3.8.0+23/−101 lines, 6 filesdep −bytestring-builderdep ~basedep ~binarydep ~bytestring
2021-05-20 18:39 UTC0.3.7.0+258/−126 lines, 9 filesdep +invalid-cabal-flag-settingsdep +template-haskelldep −tasty-ant-xmldep ~QuickCheckdep ~basedep ~binarynew-uploader
2018-05-07 23:42 UTC0.3.6.2+80/−9 lines, 4 files
2018-05-07 07:04 UTC0.3.6.1+8/−1 lines, 3 filesdep ~base

showing 5 of 50 versions

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

tasty-quickcheck >=0 0.11 → 0.11.1
2025-01-05 19:53 UTC0.11.1+66/−33 lines, 4 filesdep +regex-tdfadep −pcre-lightdep ~QuickCheckdep ~basedep ~optparse-applicative
2024-06-22 10:14 UTC0.11+132/−49 lines, 4 filesdep ~QuickCheck
2023-09-10 00:10 UTC0.10.3+52/−14 lines, 3 filesdep ~QuickCheckdep ~optparse-applicativedep ~randomnew-uploader
2021-11-20 19:17 UTC0.10.2+21/−13 lines, 3 filesdep ~base
2020-12-18 09:42 UTC0.10.1.2+27/−13 lines, 4 filesdep ~base

showing 5 of 23 versions

text >=1.2 && <2.2 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

unordered-containers >=0 0.2.20.1 → 0.2.21
2025-12-13 23:09 UTC0.2.21+3999/−2731 lines, 20 filesdep −mtldep ~basedep ~bytestringdep ~deepseq
2025-10-02 07:28 UTC0.2.20.1+106/−52 lines, 12 files
2024-01-09 06:48 UTC0.2.20+1023/−941 lines, 12 filesdep ~hashabledep ~template-haskell
2022-04-24 15:48 UTC0.2.19.1+88/−14 lines, 4 filesdep ~basedep ~template-haskell
2022-04-16 13:01 UTC0.2.19.0+330/−186 lines, 12 filesdep ~base

showing 5 of 43 versions

Reverse dependencies

no known reverse dependencies