packages feed

rme-what4

view on Hackage

versionuploadeduploaderchanges
0.1.22026-01-26 17:54 UTCaschwerdfeger_galois+149/−51 lines, 3 filesdep ~rme
0.1.12025-11-06 07:15 UTCaschwerdfeger_galois+217/−35 lines, 3 filesdep ~rmenew-uploader
0.12025-08-26 16:50 UTCryanglscott1 revisions+480/−0 lines, 4 filesdep +basedep +bv-sizeddep +containers

Dependencies of rme-what4-0.1.2

base >=4.17 && <4.22 4.21.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+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

bv-sized >=1.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 && <0.9 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

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

rme >=0.1.1.99 && <0.2 0.1.1 → 0.1.2
2026-01-26 17:53 UTC0.1.2+11/−1 lines, 2 files
2025-11-06 07:15 UTC0.1.1 outside bounds+7/−3 lines, 3 filesnew-uploader
2025-08-26 16:50 UTC0.1 outside bounds+609/−0 lines, 6 filesdep +basedep +containersdep +vector
vector >=0.13 && <0.14 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 outside bounds+265/−191 lines, 13 filesdep ~basedep ~deepseqdep ~doctest
2021-04-06 19:54 UTC0.12.3.0 outside bounds+1218/−39 lines, 11 filesdep ~basedep ~ghc-prim

showing 5 of 43 versions

what4 >=1.7 && <1.8 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 outside bounds+17/−4 lines, 4 files

showing 5 of 16 versions

Reverse dependencies

2 packages depend on rme-what4

crux 0.9 requires rme-what4 >=0.1 && <0.2
cryptol 3.5.0 requires rme-what4 >=0.1 && <0.2