packages feed

crucible

view on Hackage

versionuploadeduploaderchanges
0.92026-01-29 20:43 UTCaschwerdfeger_galois+120/−1 lines, 3 filesPVP ok
0.8.0.02025-11-10 21:36 UTCaschwerdfeger_galois+1976/−443 lines, 22 filesdep +hedgehogdep +tasty-hedgehogdep ~basenew-uploaderPVP ok
0.7.22025-03-21 23:49 UTCsauclovian_g+392/−144 lines, 9 filesdep ~parameterized-utilsdep ~tasty-hunitdep ~what4new-uploaderPVP: major bump suggested
0.7.12024-08-30 20:09 UTCmccleeary1 revisions+1565/−269 lines, 17 filesdep +asyncdep ~basedep ~th-abstractiondep ~what4new-uploaderPVP: major bump suggested
0.72024-02-05 21:13 UTCryanglscott+22631/−0 lines, 63 filesdep +QuickCheckdep +basedep +bimapsetup-changed

Dependencies of crucible-0.9

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

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

base >=4.13 && <4.21 4.20.2.0 → 4.22.0.0 newer than bounds
2025-12-19 11:52 UTC4.22.0.0 newer than bounds+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0 newer than bounds+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0 newer than bounds+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0 newer than bounds+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

bimap >=0 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.1 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

containers >=0.5.9.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

exceptions >=0 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

fgl >=0 5.8.3.0 → 5.8.3.1
2026-05-19 12:05 UTC5.8.3.1+21/−25 lines, 4 filesdep ~QuickCheckPVP: major bump suggested
2024-09-30 06:53 UTC5.8.3.0+40/−8 lines, 3 filesdep ~QuickCheckPVP ok
2023-10-18 08:42 UTC5.8.2.0+191/−137 lines, 19 filesdep ~hspecPVP: major bump suggested
2023-02-10 09:43 UTC5.8.1.1+23/−10 lines, 6 filesdep ~deepseqPVP ok
2023-01-26 21:28 UTC5.8.1.0+50/−12 lines, 7 filesdep ~basePVP ok

showing 5 of 27 versions

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

hedgehog >=0 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

hspec >=2.5 2.11.16 → 2.11.17
2026-03-04 18:01 UTC2.11.17+11/−19 lines, 6 filesdep ~hspec-coredep ~hspec-discover
2025-12-12 14:07 UTC2.11.16+25/−7 lines, 5 filesdep ~hspec-coredep ~hspec-discover
2025-12-08 03:04 UTC2.11.15+8/−5 lines, 3 filesdep ~hspec-coredep ~hspec-discover
2025-09-30 14:32 UTC2.11.14+9/−7 lines, 4 filesdep ~hspec-coredep ~hspec-discover
2025-09-15 13:10 UTC2.11.13+12/−5 lines, 3 filesdep ~hspec-coredep ~hspec-discover

showing 5 of 170 versions

json >=0.9 && <1.0 0.10 → 0.11
2023-07-17 15:50 UTC0.11+40/−59 lines, 6 filesnew-uploader
2020-01-14 23:01 UTC0.10+12/−3 lines, 4 filesdep ~base
2018-12-20 18:03 UTC0.9.3+43/−114 lines, 8 files
2018-03-17 19:50 UTC0.9.2+4/−3 lines, 2 filesdep ~base
2015-03-14 00:33 UTC0.9.1+5/−4 lines, 3 filesdep ~base

showing 5 of 16 versions

lens >=0 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

mtl >=0 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

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 >=1.0.8 && <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

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

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-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-hspec >=1.1 1.2.0.3 → 1.2.0.4
2023-04-26 00:22 UTC1.2.0.4+20/−12 lines, 4 filesdep +hspec-apidep −taggeddep ~QuickCheckdep ~basedep ~hspec
2023-01-11 17:14 UTC1.2.0.3+36/−168 lines, 4 filesdep ~basedep ~hspecdep ~hspec-core
2023-01-11 00:45 UTC1.2.0.2+12/−8 lines, 4 filesdep ~tasty-quickcheck
2022-05-14 16:46 UTC1.2.0.1+114/−82 lines, 7 filesdep ~basedep ~hspecdep ~hspec-core
2021-05-28 16:27 UTC1.2+14/−8 lines, 4 filesdep ~basedep ~hspecdep ~hspec-core

showing 5 of 21 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.8 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

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

text >=0 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-abstraction >=0.1 && <0.7 0.6.0.0 → 0.7.2.0 newer than bounds
2026-01-03 14:49 UTC0.7.2.0 newer than bounds+23/−12 lines, 5 filesdep −ghc-primdep ~template-haskell
2024-12-05 11:48 UTC0.7.1.0 newer than bounds+86/−705 lines, 8 filesdep ~basedep ~containersdep ~template-haskell
2024-03-17 15:30 UTC0.7.0.0 newer than bounds+828/−67 lines, 6 files
2023-07-31 12:18 UTC0.6.0.0+377/−24 lines, 5 filesdep ~containersdep ~template-haskell
2023-02-27 10:45 UTC0.5.0.0+95/−8 lines, 6 files

showing 5 of 31 versions

time >=1.8 && <2.0 1.15 → 1.16
2026-05-03 08:43 UTC1.16+353/−64 lines, 29 filesdep +template-haskell-liftdep ~template-haskell
2025-08-04 16:22 UTC1.15+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 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

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

vector >=0 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

what4 >=1.6.1 1.7.2 → 1.7.3
2026-01-26 16:47 UTC1.7.3+26/−3 lines, 4 files
2025-11-19 10:56 UTC1.7.2+67/−6 lines, 4 files
2025-11-05 16:12 UTC1.7.1.0+519/−157 lines, 17 filesdep −ghc-primdep −utf8-stringdep ~basedep ~parameterized-utilsdep ~prettyprinternew-uploader
2025-03-21 02:20 UTC1.7+560/−78 lines, 13 filesdep ~basedep ~containersdep ~hedgehognew-component:exe:bool-normalizationnew-uploader
2025-02-26 21:41 UTC1.6.3+17/−4 lines, 4 files

showing 5 of 16 versions

Reverse dependencies

7 packages depend on crucible; 1 have bounds that exclude 0.9

copilot-verifier 4.8 requires crucible >=0.7.1 && <0.8 excludes current (upper bound)
crucible-debug 0.1.2.0 requires crucible >=0.8
crucible-llvm 0.9 requires crucible >=0.5
crucible-symio 0.2.0.0 requires crucible >=0
crucible-syntax 0.5.0.0 requires crucible >=0.8
crux 0.9 requires crucible >=0
crux-llvm 0.12 requires crucible >=0