packages feed

crucible-llvm

view on Hackage

versionuploadeduploaderchanges
0.92026-01-29 20:43 UTCaschwerdfeger_galois+1625/−484 lines, 26 filesdep ~llvm-prettyPVP ok
0.8.0.02025-11-10 21:43 UTCaschwerdfeger_galois+831/−48 lines, 22 filesdep ~basedep ~llvm-prettydep ~what4new-uploaderPVP ok
0.7.12025-03-21 23:50 UTCsauclovian_g3 revisions+26/−10 lines, 7 filesdep ~crucibledep ~llvm-prettydep ~what4new-uploaderPVP ok
0.72024-08-30 20:08 UTCmccleeary2 revisions+6996/−3940 lines, 29 filesdep ~basedep ~crucibledep ~crucible-symionew-uploaderPVP ok
0.62024-02-05 21:14 UTCryanglscott2 revisions+26875/−0 lines, 64 filesdep +attoparsecdep +basedep +bv-sized

Dependencies of crucible-llvm-0.9

attoparsec >=0 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.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

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 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

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

crucible >=0.5 0.8.0.0 → 0.9
2026-01-29 20:43 UTC0.9+120/−1 lines, 3 filesPVP ok
2025-11-10 21:36 UTC0.8.0.0+1976/−443 lines, 22 filesdep +hedgehogdep +tasty-hedgehogdep ~basenew-uploaderPVP ok
2025-03-21 23:49 UTC0.7.2+392/−144 lines, 9 filesdep ~parameterized-utilsdep ~tasty-hunitdep ~what4new-uploaderPVP: major bump suggested
2024-08-30 20:09 UTC0.7.1+1565/−269 lines, 17 filesdep +asyncdep ~basedep ~th-abstractiondep ~what4new-uploaderPVP: major bump suggested
2024-02-05 21:13 UTC0.7+22631/−0 lines, 63 filesdep +QuickCheckdep +basedep +bimapsetup-changed
crucible-symio >=0 0.1.1 → 0.2.0.0
2025-11-10 21:44 UTC0.2.0.0+10/−6 lines, 3 filesdep ~basedep ~cruciblenew-uploaderPVP ok
2024-08-30 20:08 UTC0.1.1+25/−23 lines, 3 filesdep ~basedep ~cruciblenew-uploaderPVP ok
2024-02-05 21:13 UTC0.1+3071/−0 lines, 9 filesdep +IntervalMapdep +aesondep +base
directory >=0 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

extra >=0 1.8 → 1.8.1
2025-11-23 14:32 UTC1.8.1+48/−4 lines, 6 filesPVP ok
2024-10-19 13:35 UTC1.8+113/−18 lines, 9 filesdep ~basePVP ok
2024-05-11 15:55 UTC1.7.16+4/−2 lines, 3 filesdep ~basePVP: major bump suggested
2024-05-10 13:07 UTC1.7.15+21/−8 lines, 9 filesPVP ok
2023-07-01 19:19 UTC1.7.14+10/−4 lines, 3 filesdep ~basePVP ok

showing 5 of 74 versions

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

itanium-abi >=0.1.1.1 && <0.2 0.1.2 → 0.1.3
2025-02-18 00:57 UTC0.1.3+42/−11 lines, 3 filesdep ~text
2023-03-24 04:34 UTC0.1.2+586/−160 lines, 6 filesdep +exceptionsdep ~text
2019-05-13 12:54 UTC0.1.1.1+2/−2 lines, 1 filesdep ~boomerang
2018-12-14 02:26 UTC0.1.1.0 outside bounds+14073/−38 lines, 4 filesdep ~basedep ~boomerangdep ~text
2013-11-12 02:46 UTC0.1.0.0 outside bounds+1051/−0 lines, 7 filesdep +HUnitdep +basedep +boomerangsetup-changed
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

llvm-pretty >=0.12.1 && <0.15 0.13.1.0 → 0.14.0.0
2026-01-23 19:37 UTC0.14.0.0+971/−231 lines, 13 files
2025-10-31 22:07 UTC0.13.1.0+36/−2 lines, 5 filesnew-uploader
2025-03-20 21:34 UTC0.13.0.0+69/−16 lines, 4 filesnew-uploader
2024-08-30 14:10 UTC0.12.1.0+101/−6 lines, 6 filesdep ~basedep ~th-abstractionnew-uploader
2024-01-30 20:49 UTC0.12.0.0 outside bounds+3113/−415 lines, 20 filesdep +llvm-prettydep +sybdep +tastydep ~basedep ~prettydep ~template-haskellnew-uploader

showing 5 of 18 versions

llvm-pretty-bc-parser >=0 0.5.1.0 → 0.6.0.0
2026-01-23 20:55 UTC0.6.0.0+1089/−355 lines, 29 filesdep +prettyprinter-convert-ansi-wl-pprintdep +tree-diffdep ~llvm-prettydep ~optparse-applicative
2025-10-31 22:07 UTC0.5.1.0+22/−13 lines, 5 filesdep −binarydep −monadLibdep ~containersnew-uploader
2025-03-20 21:34 UTC0.5.0.0+703/−180 lines, 13 filesdep ~llvm-prettynew-uploader
2024-08-30 14:29 UTC0.4.2.0+82/−8 lines, 15 filesdep ~llvm-prettynew-uploader
2024-01-30 20:50 UTC0.4.1.0+6289/−1981 lines, 79 filesdep +HUnitdep +QuickCheckdep +binarydep −abstract-pardep −cerealdep −monad-pardep ~basedep ~bytestringdep ~containersnew-component:exe:regression-testnew-uploader

showing 5 of 17 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

parameterized-utils >=2.1.5 && <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

pretty >=0 1.1.3.5 → 1.1.3.6
2018-01-29 04:01 UTC1.1.3.6+101/−5 lines, 7 filesdep +criteriondep +prettydep ~base
2017-02-03 23:16 UTC1.1.3.5+8/−3 lines, 3 files
2016-06-03 18:38 UTC1.1.3.4+26/−4 lines, 6 files
2016-02-29 19:00 UTC1.1.3.3+165/−109 lines, 7 files
2015-03-19 09:15 UTC1.1.3.2+27/−25 lines, 6 files

showing 5 of 17 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 >=0 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

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

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

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

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

utf8-string >=0 1.0.1.1 → 1.0.2
2021-01-03 18:33 UTC1.0.2+286/−46 lines, 8 filesdep +HUnitdep +utf8-stringdep ~base
2015-08-23 16:19 UTC1.0.1.1+12/−2 lines, 3 filesdep ~base
2015-08-21 22:38 UTC1.0.1+71/−3 lines, 3 filesdep ~base
2015-01-23 01:51 UTC1+17/−194 lines, 5 filesdep ~base
2014-05-19 08:05 UTC0.3.8+50/−7 lines, 9 filesdep ~base

showing 5 of 16 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 >=0.5 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

2 packages depend on crucible-llvm; 1 have bounds that exclude 0.9

copilot-verifier 4.8 requires crucible-llvm >=0.7 && <0.8 excludes current (upper bound)
crux-llvm 0.12 requires crucible-llvm >=0