packages feed

what4

view on Hackage

versionuploadeduploaderchanges
1.7.32026-01-26 16:47 UTCaschwerdfeger_galois+26/−3 lines, 4 files
1.7.22025-11-19 10:56 UTCryanglscott+67/−6 lines, 4 files
1.7.1.02025-11-05 16:12 UTCaschwerdfeger_galois+519/−157 lines, 17 filesdep −ghc-primdep −utf8-stringdep ~basedep ~parameterized-utilsdep ~prettyprinternew-uploader
1.72025-03-21 02:20 UTCsauclovian_g1 revisions+560/−78 lines, 13 filesdep ~basedep ~containersdep ~hedgehognew-component:exe:bool-normalizationnew-uploader
1.6.32025-02-26 21:41 UTCryanglscott+17/−4 lines, 4 files
1.6.22024-09-23 14:07 UTCryanglscott+19/−16 lines, 9 files
1.6.12024-09-03 14:55 UTCryanglscott+107/−32 lines, 6 files
1.62024-05-15 15:29 UTCryanglscott+1007/−81 lines, 19 filesdep ~text
1.5.12023-10-13 16:51 UTCryanglscott+6/−8 lines, 3 filesdep ~versions
1.52023-07-31 15:36 UTCryanglscott+143/−28 lines, 19 filesdep −th-abstractiondep ~tasty-sugar
1.42023-01-27 14:51 UTCryanglscott+5182/−85 lines, 45 filesdep +BoundedChandep +megaparsecdep +ordered-containersdep −data-binary-ieee754dep ~basedep ~bv-sizeddep ~containers
1.32022-04-19 17:40 UTCryanglscott+3817/−1061 lines, 60 filesdep +asyncdep +clockdep +concurrent-extradep −extradep ~exceptionsdep ~hashabledep ~prettyprinternew-uploader
1.2.12021-06-16 23:39 UTCRobertDockins1 revisions+75/−2 lines, 33 files
1.22021-06-16 18:04 UTCRobertDockins1 revisions+5183/−3036 lines, 39 filesdep +contravariantdep +lumberjackdep +tasty-checklistdep ~basedep ~containersdep ~exceptions
1.12021-02-09 06:06 UTCRobertDockins1 revisions+9089/−6205 lines, 54 filesdep +config-valuedep +libBFdep +prettyprinterdep −ansi-wl-pprintdep ~basedep ~bv-sizeddep ~ghc-prim
1.02020-07-22 06:03 UTCRobertDockins2 revisions+37906/−0 lines, 85 filesdep +QuickCheckdep +ansi-wl-pprintdep +attoparsec

Dependencies of what4-1.7.3

BoundedChan >=1 && <2 1.0.2.0 → 1.0.3.0
2014-05-14 23:30 UTC1.0.3.0+28/−3 lines, 2 filesPVP ok
2014-05-07 03:31 UTC1.0.2.0+1/−1 lines, 1 filesPVP ok
2012-06-01 19:59 UTC1.0.1.0+65/−22 lines, 2 filesPVP ok
2012-03-29 20:24 UTC1.0.0.3+4/−3 lines, 1 filesdep ~arraydep ~basePVP ok
2009-06-02 21:05 UTC1.0.0.2+3/−4 lines, 2 filesPVP ok

showing 5 of 7 versions

QuickCheck >=2.12 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

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

attoparsec >=0.13 0.14.3 → 0.14.4
2022-01-10 18:41 UTC0.14.4+736/−940 lines, 30 filesdep +attoparsecdep +tasty-benchdep −criteriondep ~QuickCheckdep ~bytestringdep ~ghc-primPVP ok
2021-12-09 02:44 UTC0.14.3+107/−39 lines, 5 filesPVP ok
2021-10-30 15:07 UTC0.14.2+10/−9 lines, 3 filesdep ~basedep ~ghc-primdep ~semigroupsPVP ok
2021-03-22 21:21 UTC0.14.1+172/−34 lines, 10 filesPVP ok
2021-02-10 01:00 UTC0.13.2.5+53/−15 lines, 4 filesdep ~QuickCheckdep ~bytestringdep ~ghc-primPVP: major bump suggested

showing 5 of 61 versions

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

bifunctors >=5 5.6.2 → 5.6.3
2026-01-04 01:36 UTC5.6.3+15/−13 lines, 2 filesdep −transformersdep ~template-haskelldep ~transformers-compatPVP: major bump suggested
2024-03-19 10:13 UTC5.6.2+19/−15 lines, 4 filesdep ~containersdep ~template-haskellPVP: major bump suggested
2023-03-13 18:31 UTC5.6.1+45/−4 lines, 7 filesdep +assocdep ~containersdep ~template-haskelldep ~th-abstractionPVP ok
2023-03-12 18:44 UTC5.6+238/−2040 lines, 22 filesdep +bifunctor-classes-compatdep +foldable1-classes-compatdep −base-orphansdep −faildep −ghc-primdep ~basedep ~containersdep ~template-haskellPVP ok
2023-02-27 12:31 UTC5.5.15+6057/−6041 lines, 27 filesdep ~template-haskelldep ~th-abstractionsetup-changedPVP ok

showing 5 of 52 versions

bimap >=0.2 0.4.0 → 0.5.0
2022-05-15 01:41 UTC0.5.0+49/−5 lines, 3 filesPVP ok
2019-06-14 03:38 UTC0.4.0+34/−9 lines, 2 filesdep +deepseqdep +ghc-primPVP ok
2017-04-28 14:47 UTC0.3.3+6/−2 lines, 2 filesPVP ok
2016-01-19 02:07 UTC0.3.2+567/−2 lines, 3 filesdep ~basePVP ok
2015-10-18 01:41 UTC0.3.1+133/−578 lines, 9 filesdep +QuickCheckdep +exceptionsdep +template-haskelldep ~basesetup-changedPVP: major bump suggested

showing 5 of 12 versions

bv-sized >=1.0.0 1.0.6 → 1.0.7
2026-01-24 01:55 UTC1.0.7+9/−15 lines, 3 filesdep ~parameterized-utilsnew-uploaderPVP: major bump suggested
2025-03-05 20:32 UTC1.0.6+19/−5 lines, 4 filesdep ~randomPVP: major bump suggested
2023-01-23 18:13 UTC1.0.5+159/−119 lines, 5 filesdep ~MonadRandomdep ~bytestringdep ~deepseqnew-uploaderPVP: major bump suggested
2022-04-08 23:38 UTC1.0.4+51/−8 lines, 7 filesdep ~basedep ~bytestringPVP ok
2021-04-24 23:07 UTC1.0.3+136/−27 lines, 7 filesdep +MonadRandomdep +deepseqdep +randomdep ~tastydep ~tasty-hedgehogPVP: major bump suggested

showing 5 of 18 versions

bytestring >=0.10 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

clock >=0 0.8.3 → 0.8.4
2023-07-17 10:33 UTC0.8.4+64/−22 lines, 3 filesPVP ok
2022-02-09 03:52 UTC0.8.3+232/−38 lines, 5 filesdep −ghc-primdep ~basePVP ok
2021-01-21 09:23 UTC0.8.2+43/−86 lines, 3 filesdep ~basePVP ok
2019-04-30 07:15 UTC0.8+76/−48 lines, 5 filesdep +criteriondep ~basePVP ok
2016-04-20 01:15 UTC0.7.2+23/−6 lines, 2 filesPVP: major bump suggested

showing 5 of 28 versions

concurrent-extra >=0.7 && <0.8 0.7.0.11 → 0.7.0.12
2018-03-14 20:19 UTC0.7.0.12+12/−12 lines, 1 filesdep ~HUnitdep ~asyncdep ~randomPVP ok
2017-05-23 10:37 UTC0.7.0.11+24/−64 lines, 6 filesdep ~HUnitdep ~asyncsetup-changedPVP ok
2015-12-16 09:24 UTC0.7.0.10+2/−2 lines, 1 filesdep ~HUnitPVP: major bump suggested
2014-12-12 08:43 UTC0.7.0.9+381/−442 lines, 19 filesdep −base-unicode-symbolsdep ~randomsetup-changedPVP: major bump suggested
2014-05-31 12:19 UTC0.7.0.8+36/−14 lines, 3 filesdep +asyncdep +randomPVP ok

showing 5 of 23 versions

config-value >=0.8 && <0.9 0.8.2.1 → 0.8.3
2022-08-10 22:27 UTC0.8.3+32/−9 lines, 9 filesdep ~basedep ~containersdep ~textPVP ok
2022-03-29 00:34 UTC0.8.2.1+7/−3 lines, 3 filesdep ~basedep ~textPVP ok
2021-12-08 18:53 UTC0.8.2+34/−18 lines, 6 filesPVP ok
2020-11-29 18:45 UTC0.8.1+50/−31 lines, 7 filesdep ~basePVP ok
2020-09-26 18:20 UTC0.8+294/−31 lines, 9 filesdep +containersPVP ok

showing 5 of 22 versions

containers >=0.5.0.0 0.7 → 0.8
2025-03-01 13:03 UTC0.8+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

contravariant >=0 1.5.5 → 1.5.6
2026-01-10 19:55 UTC1.5.6+38/−170 lines, 7 filesdep −ghc-primdep −semigroupsdep −taggeddep ~basePVP: major bump suggested
2021-07-27 22:26 UTC1.5.5+20/−9 lines, 3 filesdep ~transformersPVP ok
2021-07-25 21:01 UTC1.5.4+29/−17 lines, 3 filesPVP ok
2020-12-30 12:41 UTC1.5.3+48/−200 lines, 10 filesdep ~StateVardep ~semigroupsdep ~taggedPVP ok
2019-06-03 12:26 UTC1.5.2+13/−9 lines, 4 filesdep ~StateVarPVP ok

showing 5 of 41 versions

deepseq >=1.3 1.5.2.0 → 1.6.0.0
2024-09-08 16:18 UTC1.6.0.0+5/−14 lines, 3 filesdep ~basePVP ok
2025-06-14 22:25 UTC1.5.2.0+13/−4 lines, 3 filesPVP: major bump suggested
2024-09-09 12:48 UTC1.5.1.0+69/−14 lines, 3 filesdep −arraydep ~basePVP: major bump suggested
2023-07-27 19:32 UTC1.5.0.0+619/−532 lines, 5 filesdep ~basePVP ok
2022-12-18 00:14 UTC1.4.8.1+34/−9 lines, 3 filesdep ~basePVP: major bump suggested

showing 5 of 26 versions

deriving-compat >=0.5 0.6.7 → 0.6.8
2026-01-08 14:37 UTC0.6.8+16/−19 lines, 3 filesdep −base-orphansdep −ghc-primdep −taggeddep ~template-haskellPVP: major bump suggested
2024-12-06 00:37 UTC0.6.7+76/−795 lines, 26 filesdep −base-compatdep −semigroupsdep ~basedep ~containersdep ~template-haskellPVP: major bump suggested
2024-03-19 10:03 UTC0.6.6+14/−11 lines, 3 filesdep ~template-haskellPVP ok
2023-08-06 17:20 UTC0.6.5+96/−5 lines, 4 filesdep ~containersdep ~th-abstractionPVP ok
2023-08-06 15:43 UTC0.6.4+428/−552 lines, 8 filesdep +semigroupsdep ~template-haskelldep ~th-abstractionPVP: major bump suggested

showing 5 of 35 versions

directory >=1.2.2 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

exceptions >=0.10 0.10.11 → 0.10.12
2026-01-10 20:26 UTC0.10.12+30/−7 lines, 4 filesdep ~QuickCheckdep ~template-haskellPVP ok
2025-10-13 12:05 UTC0.10.11+86/−10 lines, 5 filesPVP ok
2025-06-17 11:54 UTC0.10.10+22/−16 lines, 4 filesdep +tastydep +tasty-hunitdep +tasty-quickcheckdep −test-frameworkdep −test-framework-hunitdep −test-framework-quickcheck2dep ~QuickCheckPVP: major bump suggested
2024-10-31 12:54 UTC0.10.9+51/−160 lines, 5 filesdep −faildep −transformers-compatdep ~QuickCheckdep ~basedep ~mtlPVP: major bump suggested
2024-04-20 19:31 UTC0.10.8+1767/−1763 lines, 13 filesdep ~QuickCheckdep ~template-haskellsetup-changedPVP: major bump suggested

showing 5 of 34 versions

filepath >=1.3 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

fingertree >=0.1.4 0.1.6.2 → 0.1.6.3
2025-12-22 08:51 UTC0.1.6.3+12/−3 lines, 5 filesPVP ok
2025-07-21 23:22 UTC0.1.6.2+10/−7 lines, 5 filesPVP ok
2025-05-12 23:07 UTC0.1.6.1+6/−6 lines, 3 filesdep ~deepseq
2025-05-12 22:47 UTC0.1.6.0+65/−12 lines, 6 filesdep +deepseq
2022-01-29 16:53 UTC0.1.5.0+488/−131 lines, 6 filesPVP: major bump suggested

showing 5 of 19 versions

hashable >=1.3 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

hashtables >=1.2.3 1.4.1 → 1.4.2
2025-01-23 03:41 UTC1.4.2+13/−8 lines, 6 filesdep ~QuickCheckPVP ok
2024-11-26 22:13 UTC1.4.1+45/−42 lines, 8 filesdep +tastydep +tasty-hunitdep +tasty-quickcheckdep −HUnitdep −test-frameworkdep −test-framework-hunitPVP ok
2024-11-19 03:51 UTC1.4.0+27/−19 lines, 4 filesPVP ok
2022-10-02 08:15 UTC1.3.1+20/−8 lines, 3 filesdep ~hashabledep ~vectorPVP ok
2021-11-23 07:04 UTC1.3+48/−33 lines, 4 filesdep ~hashablePVP ok

showing 5 of 35 versions

hedgehog >=1.0.2 1.6 → 1.7
2025-09-22 20:47 UTC1.7+50/−26 lines, 5 filesdep ~lifted-asyncdep ~template-haskelldep ~timePVP ok
2025-09-08 12:45 UTC1.6+87/−63 lines, 4 filesPVP ok
2024-07-24 13:51 UTC1.5+255/−78 lines, 5 filesdep ~containersdep ~randomdep ~template-haskellPVP ok
2023-08-06 21:48 UTC1.4+138/−64 lines, 7 filesdep ~ansi-terminaldep ~barbiesdep ~bytestringPVP ok
2023-06-22 11:22 UTC1.3+152/−29 lines, 11 filesdep +safe-exceptionsdep ~ansi-terminalPVP ok

showing 5 of 28 versions

io-streams >=1.5 1.5.2.1 → 1.5.2.2
2022-08-17 18:04 UTC1.5.2.2+35/−13 lines, 2 filesdep ~basedep ~bytestringdep ~deepseq
2021-05-10 19:01 UTC1.5.2.1+61/−35 lines, 3 filesdep ~attoparsecdep ~basedep ~textnew-uploader
2020-09-07 12:55 UTC1.5.2.0+104/−19 lines, 7 filesdep ~bytestring
2019-01-28 14:51 UTC1.5.1.0+47/−27 lines, 4 filesdep ~attoparsecdep ~basedep ~bytestring
2017-09-03 19:48 UTC1.5.0.1+13/−4 lines, 3 filesdep ~network

showing 5 of 44 versions

lens >=4.18 5.3.5 → 5.3.6
2026-01-10 22:05 UTC5.3.6+39/−28 lines, 7 filesdep −ghc-primdep −transformers-compatdep ~template-haskell
2025-06-17 11:56 UTC5.3.5+99/−99 lines, 5 filesdep +tastydep +tasty-hunitdep +tasty-quickcheckdep −HUnitdep −test-frameworkdep −test-framework-hunitdep ~parallel
2025-03-03 12:24 UTC5.3.4+156/−44 lines, 14 filesdep ~containers
2024-12-28 16:38 UTC5.3.3+198/−36 lines, 11 filesdep ~basedep ~template-haskell
2024-05-12 23:00 UTC5.3.2+131/−19 lines, 7 filesdep ~hashable

showing 5 of 162 versions

libBF >=0.6 && <0.7 0.6.7 → 0.6.8
2024-06-05 22:18 UTC0.6.8+32/−3 lines, 5 files
2023-11-29 00:33 UTC0.6.7+73/−40 lines, 5 filesdep +tastydep +tasty-hunitdep ~base
2023-07-17 19:26 UTC0.6.6+9952/−9282 lines, 11 files
2022-08-29 19:46 UTC0.6.5.1+11/−5 lines, 2 files
2022-08-29 19:08 UTC0.6.5+9/−3 lines, 2 files

showing 5 of 12 versions

lumberjack >=0 1.0.2.0 → 1.0.3.0
2023-07-28 17:14 UTC1.0.3.0+10/−6 lines, 3 filesdep ~basenew-uploader
2023-01-03 23:18 UTC1.0.2.0+6/−2 lines, 2 filesdep ~base
2022-03-09 22:27 UTC1.0.1.0+33/−28 lines, 4 filesdep ~basedep ~exceptionsdep ~mtl
2021-06-28 01:12 UTC1.0.0.1+17/−8 lines, 3 files
2020-12-20 19:39 UTC1.0.0.0+21/−1 lines, 3 files

showing 5 of 9 versions

megaparsec >=8 && <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

mtl >=2.2.1 2.3.1 → 2.3.2
2025-12-08 04:58 UTC2.3.2+112/−21 lines, 12 filesdep ~basenew-uploader
2022-10-31 21:28 UTC2.3.1+188/−33 lines, 8 filesdep ~base
2022-05-07 20:34 UTC2.3+1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader
2018-02-24 22:15 UTC2.2.2+152/−36 lines, 14 filesdep ~base
2014-06-02 02:22 UTC2.2.1+179/−4 lines, 8 filesdep ~basedep ~transformers

showing 5 of 20 versions

ordered-containers >=0.2 && <0.3 0.2.3 → 0.2.4
2024-05-19 21:31 UTC0.2.4+132/−28 lines, 7 filesdep +hashabledep ~containers
2022-11-01 00:04 UTC0.2.3+13/−3 lines, 3 files
2019-07-05 13:21 UTC0.2.2+399/−240 lines, 7 files
2019-03-25 12:57 UTC0.2.1+17/−7 lines, 4 files
2019-03-25 02:01 UTC0.2+253/−18 lines, 5 filesdep ~base

showing 5 of 8 versions

panic >=0.3 0.4.0.0 → 0.4.0.1
2018-06-19 00:29 UTC0.4.0.1+4/−4 lines, 2 files
2018-05-22 21:36 UTC0.4.0.0+2/−2 lines, 2 files
2018-05-22 21:18 UTC0.3.0.0+16/−3 lines, 2 files
2018-05-22 21:05 UTC0.2.0.0 outside bounds+124/−0 lines, 5 filesdep +basedep +gitrevdep +template-haskellsetup-changed
parameterized-utils >=2.1 && <2.2 2.1.11.0 → 2.3.0.0 newer than bounds
2026-03-09 15:08 UTC2.3.0.0 newer than bounds+20/−31 lines, 6 filesdep −microlens-prodep −profunctors
2026-01-22 19:29 UTC2.2.0.0 newer than bounds+52/−38 lines, 12 filesdep +microlensdep +microlens-prodep −lens
2025-11-05 00:21 UTC2.1.11.0+6/−4 lines, 2 filesdep −ghc-primnew-uploader
2025-03-20 19:26 UTC2.1.10.0+128/−5 lines, 15 filesdep ~basenew-uploader
2024-09-19 14:50 UTC2.1.9.0+12/−8 lines, 3 filesdep ~hashtables

showing 5 of 19 versions

parsec >=3 && <4 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

prettyprinter >=1.7.0 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

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

showing 5 of 57 versions

s-cargot >=0.1 && <0.2 0.1.5.0 → 0.1.6.0
2023-04-08 00:31 UTC0.1.6.0+342/−96 lines, 4 files
2022-11-28 23:22 UTC0.1.5.0+46/−28 lines, 4 filesdep ~text
2018-03-02 21:45 UTC0.1.4.0+681/−44 lines, 8 filesdep +HUnit
2018-03-02 08:54 UTC0.1.3.0+871/−58 lines, 9 files
2017-05-17 18:02 UTC0.1.2.0+234/−48 lines, 9 files

showing 5 of 8 versions

scientific >=0.3.6 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

stm >=0 2.5.3.0 → 2.5.3.1
2024-04-12 15:34 UTC2.5.3.1+7/−3 lines, 3 filesdep ~base
2023-11-17 23:47 UTC2.5.3.0+222/−123 lines, 6 files
2023-10-06 15:16 UTC2.5.2.1+11/−5 lines, 3 files
2023-10-05 21:19 UTC2.5.2.0+258/−270 lines, 9 filesdep ~base
2022-08-04 22:51 UTC2.5.1.0+42/−5 lines, 5 filesdep +semigroupsdep ~base

showing 5 of 24 versions

tasty >=0.10 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-checklist >=1.0.3 && <1.1 1.0.9.0 → 1.0.10.0
2026-06-22 13:53 UTC1.0.10.0+9/−3 lines, 3 filesPVP ok
2026-04-28 18:00 UTC1.0.9.0+6/−2 lines, 2 filesdep ~parameterized-utils
2025-11-01 19:19 UTC1.0.8.0+44/−15 lines, 3 filesdep ~doctest
2023-04-17 22:27 UTC1.0.6.0+92/−37 lines, 3 filesdep +containers
2023-03-31 18:50 UTC1.0.5.1+9/−4 lines, 2 filesdep ~doctestdep ~exceptionsdep ~text

showing 5 of 12 versions

tasty-expected-failure >=0.12 && <0.13 0.12.2 → 0.12.3
2021-02-16 16:50 UTC0.12.3+10/−18 lines, 2 files
2020-12-31 14:23 UTC0.12.2+63/−8 lines, 3 files
2020-09-04 07:28 UTC0.12.1+11/−1 lines, 2 files
2020-07-23 06:53 UTC0.12+144/−10 lines, 4 filesdep +hedgehogdep +tasty-expected-failuredep +tasty-goldendep ~basedep ~tasty
2019-08-29 08:37 UTC0.11.1.2 outside bounds+3/−3 lines, 1 filesdep ~base

showing 5 of 12 versions

tasty-hedgehog >=1.2 1.4.0.1 → 1.4.0.2
2023-08-07 06:43 UTC1.4.0.2+10/−4 lines, 3 filesdep ~basedep ~hedgehogdep ~tasty
2023-03-15 09:39 UTC1.4.0.1+11/−6 lines, 3 filesdep ~basedep ~hedgehog
2022-10-24 17:53 UTC1.4.0.0+23/−15 lines, 3 filesdep ~hedgehog
2022-10-05 08:58 UTC1.3.1.0+18/−11 lines, 3 filesnew-uploader
2022-08-23 06:50 UTC1.3.0.0+13/−10 lines, 4 filesdep ~hedgehog

showing 5 of 15 versions

tasty-hunit >=0.9 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.10 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

tasty-sugar >=2.0 && <2.3 2.2.3.3 → 2.2.4.0
2026-07-06 22:50 UTC2.2.4.0+9/−6 lines, 4 filesdep ~kvitablePVP ok
2026-01-03 19:46 UTC2.2.3.3+191/−42 lines, 7 filesnew-component:exe:test-passthru-ascii
2025-12-15 13:10 UTC2.2.3.2+33/−17 lines, 7 filesdep ~tasty-hedgehog
2025-11-01 19:38 UTC2.2.3.1+16/−4 lines, 2 filesdep ~hedgehogdep ~microlensdep ~parallel
2025-07-26 18:03 UTC2.2.2.1+11/−7 lines, 2 filesdep ~basedep ~optparse-applicative

showing 5 of 22 versions

template-haskell >=0 2.23.0.0 → 2.24.0.0
2025-12-19 11:53 UTC2.24.0.0+606/−68 lines, 9 filesdep +ghc-internaldep ~basedep ~ghc-boot-th
2024-12-16 09:29 UTC2.23.0.0+104/−5685 lines, 9 filesdep −ghc-primdep −prettydep ~basedep ~ghc-boot-thnew-uploader
2024-05-15 13:07 UTC2.22.0.0+176/−81 lines, 7 filesdep ~basedep ~ghc-boot-th
2023-10-10 00:23 UTC2.21.0.0+275/−148 lines, 7 filesdep ~basedep ~ghc-boot-th
2023-03-28 13:43 UTC2.20.0.0+215/−139 lines, 9 filesdep −filepathdep ~basedep ~ghc-boot-th

showing 5 of 26 versions

temporary >=0 1.2.1.1 → 1.3
2018-04-10 14:21 UTC1.3+41/−15 lines, 3 filesdep +random
2017-07-26 11:50 UTC1.2.1.1+49/−41 lines, 3 files
2017-06-11 17:08 UTC1.2.1+294/−300 lines, 7 filesdep +base-compatdep +tastydep +tasty-hunitdep ~basedep ~directorydep ~filepath
2016-01-24 22:42 UTC1.2.0.4+8/−4 lines, 2 filesnew-uploader
2014-05-11 12:22 UTC1.2.0.3+6/−6 lines, 2 filesdep ~exceptions

showing 5 of 17 versions

text >=1.2.4.0 && <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

th-lift >=0.8.2 && <0.9 0.8.6 → 0.8.7
2026-01-04 01:10 UTC0.8.7+11/−8 lines, 4 filesdep −ghc-primdep ~template-haskell
2024-12-05 12:34 UTC0.8.6+8/−4 lines, 3 filesdep ~template-haskell
2024-10-22 10:40 UTC0.8.5+41/−124 lines, 6 filesdep ~basedep ~template-haskelldep ~th-abstraction
2023-08-01 11:50 UTC0.8.4+12/−4 lines, 3 filesdep ~template-haskelldep ~th-abstraction
2023-02-27 12:10 UTC0.8.3+31/−11 lines, 3 filesdep ~template-haskelldep ~th-abstraction

showing 5 of 32 versions

th-lift-instances >=0.1 && <0.2 0.1.19 → 0.1.20
2022-08-23 09:45 UTC0.1.20+102/−18 lines, 3 filesdep ~containers
2021-12-13 17:35 UTC0.1.19+5/−1 lines, 2 filesdep ~bytestring
2020-11-18 23:19 UTC0.1.18+4/−2 lines, 2 filesdep ~template-haskell
2020-06-09 13:10 UTC0.1.17+42/−8 lines, 2 files
2020-04-13 16:05 UTC0.1.16+54/−40 lines, 2 files

showing 5 of 21 versions

time >=1.8 && <1.15 1.14 → 1.16 newer than bounds
2026-05-03 08:43 UTC1.16 newer than bounds+353/−64 lines, 29 filesdep +template-haskell-liftdep ~template-haskell
2025-08-04 16:22 UTC1.15 newer than bounds+1407/−743 lines, 56 filesdep ~basedep ~deepseqdep ~template-haskell
2024-03-10 22:18 UTC1.14+6594/−5536 lines, 73 filesdep +template-haskelldep ~base
2021-10-18 05:36 UTC1.13+1279/−1589 lines, 59 filesdep ~base
2022-05-14 00:07 UTC1.12.2+1526/−1266 lines, 57 filesdep ~base

showing 5 of 47 versions

transformers >=0.4 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

units >=0 2.4.1.4 → 2.4.1.5
2022-01-06 19:38 UTC2.4.1.5+19/−8 lines, 4 filesdep ~deepseq
2021-08-31 13:41 UTC2.4.1.4+98/−2913 lines, 58 filesdep +singletons-basedep +singletons-thdep −HUnit-approxdep −tastydep −tasty-hunitdep ~lensdep ~singletons
2020-06-17 16:39 UTC2.4.1.3+9/−2 lines, 3 files
2019-09-23 13:33 UTC2.4.1.2+18/−6 lines, 3 files
2019-02-06 04:50 UTC2.4.1.1+90/−27 lines, 6 files

showing 5 of 15 versions

units-defs >=0 2.2 → 2.2.1
2021-08-31 13:41 UTC2.2.1+476/−8 lines, 13 filesdep ~base
2020-05-14 15:13 UTC2.2+51/−7 lines, 8 files
2019-08-07 17:41 UTC2.1.0.1+128/−65 lines, 24 files
2016-05-30 02:11 UTC2.0.1.1+27/−6 lines, 5 filesdep ~base
2015-02-17 14:13 UTC2.0.0.1+33/−28 lines, 11 files

showing 5 of 9 versions

unliftio >=0.2 && <0.3 0.2.25.0 → 0.2.25.1
2025-03-10 08:59 UTC0.2.25.1+11/−11 lines, 4 files
2023-06-16 04:22 UTC0.2.25.0+111/−1 lines, 3 files
2023-02-28 09:14 UTC0.2.24.0+11/−2 lines, 3 files
2022-10-27 15:19 UTC0.2.23.0+32/−70 lines, 3 filesdep +safe-exceptions
2022-04-26 14:58 UTC0.2.22.0+11/−4 lines, 3 filesdep ~stm

showing 5 of 33 versions

unordered-containers >=0.2.10 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

vector >=0.12.1 0.13.1.0 → 0.13.2.0
2024-10-31 18:01 UTC0.13.2.0+5177/−672 lines, 53 filesdep −HUnitdep ~QuickCheckdep ~basedep ~doctest
2023-10-07 13:35 UTC0.13.1.0+302/−238 lines, 22 filesdep ~QuickCheckdep ~basedep ~doctestnew-uploader
2022-06-19 19:35 UTC0.13.0.0+19079/−19259 lines, 70 filesdep +tasty-benchdep +tasty-inspection-testingdep +vector-streamdep −faildep −ghc-primdep −semigroupsdep ~basedep ~doctestdep ~primitive
2021-09-21 16:21 UTC0.12.3.1+265/−191 lines, 13 filesdep ~basedep ~deepseqdep ~doctest
2021-04-06 19:54 UTC0.12.3.0+1218/−39 lines, 11 filesdep ~basedep ~ghc-prim

showing 5 of 43 versions

versions >=6.0.2 && <6.1 6.0.7 → 6.0.8
2025-02-03 11:36 UTC6.0.8+18/−11 lines, 3 filesdep ~base
2024-06-02 22:15 UTC6.0.7+8/−2 lines, 2 filesdep ~base
2024-03-08 06:01 UTC6.0.6+55/−14 lines, 5 files
2024-01-24 00:57 UTC6.0.5+14/−3 lines, 4 files
2023-12-30 00:47 UTC6.0.4+9/−3 lines, 2 filesdep ~basedep ~text

showing 5 of 44 versions

zenc >=0.1.0 && <0.2.0 0.1.1 → 0.1.2
2021-06-21 23:03 UTC0.1.2+94/−51 lines, 4 filesdep +hedgehogdep +hspecdep +hspec-hedgehog
2011-05-08 04:08 UTC0.1.1+277/−0 lines, 4 filesdep +basesetup-changed

Reverse dependencies

11 packages depend on what4

copilot-theorem 4.8 requires what4 >=1.3 && <1.8
copilot-verifier 4.8 requires what4 >=1.6.1 && <1.8
crucible 0.9 requires what4 >=1.6.1
crucible-debug 0.1.2.0 requires what4 >=0
crucible-llvm 0.9 requires what4 >=0.5
crucible-symio 0.2.0.0 requires what4 >=0
crucible-syntax 0.5.0.0 requires what4 >=0
crux 0.9 requires what4 >=0.4.1
crux-llvm 0.12 requires what4 >=0
cryptol 3.5.0 requires what4 >=1.6 && <1.8
rme-what4 0.1.2 requires what4 >=1.7 && <1.8