what4-domains
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1 | 2026-09-01 17:34 UTC | aschwerdfeger_galois | +9034/−0 lines, 26 filesdep +QuickCheckdep +basedep +containers |
Dependencies of what4-domains-0.1
QuickCheck >=2.12 2.17.1.0 → 2.18.0.0
| 2026-02-26 12:42 UTC | 2.18.0.0 | +826/−542 lines, 23 filesPVP ok |
| 2025-10-13 12:40 UTC | 2.17.1.0 | +18/−8 lines, 4 filesdep ~randomPVP: major bump suggested |
| 2025-10-07 12:26 UTC | 2.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 UTC | 2.16.0.0 | +477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok |
| 2024-05-27 14:54 UTC | 2.15.0.1 | +15/−6 lines, 4 filesdep ~randomPVP ok |
showing 5 of 65 versions
base >=4.10 && <5 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
containers >=0 0.7 → 0.8
| 2025-03-01 13:03 UTC | 0.8 | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
ghc-bignum >=1.0 && <2 1.2 → 1.3
| 2022-08-07 20:08 UTC | 1.3 | +465/−112 lines, 12 filesdep ~ghc-primPVP ok |
| 2021-10-29 06:12 UTC | 1.2 | +5204/−5393 lines, 9 filesdep ~ghc-primPVP ok |
| 2022-04-11 09:19 UTC | 1.1 | +5311/−8682 lines, 7 filesnew-uploader |
| 2021-03-28 14:51 UTC | 1.0 | +17743/−0 lines, 29 filesdep +ghc-primsetup-changed |
hedgehog >=1.0.2 1.6 → 1.7
| 2025-09-22 20:47 UTC | 1.7 | +50/−26 lines, 5 filesdep ~lifted-asyncdep ~template-haskelldep ~timePVP ok |
| 2025-09-08 12:45 UTC | 1.6 | +87/−63 lines, 4 filesPVP ok |
| 2024-07-24 13:51 UTC | 1.5 | +255/−78 lines, 5 filesdep ~containersdep ~randomdep ~template-haskellPVP ok |
| 2023-08-06 21:48 UTC | 1.4 | +138/−64 lines, 7 filesdep ~ansi-terminaldep ~barbiesdep ~bytestringPVP ok |
| 2023-06-22 11:22 UTC | 1.3 | +152/−29 lines, 11 filesdep +safe-exceptionsdep ~ansi-terminalPVP ok |
showing 5 of 28 versions
mtl >=2.2.1 2.3.1 → 2.3.2
| 2025-12-08 04:58 UTC | 2.3.2 | +112/−21 lines, 12 filesdep ~basenew-uploaderPVP: major bump suggested |
| 2022-10-31 21:28 UTC | 2.3.1 | +188/−33 lines, 8 filesdep ~basePVP: major bump suggested |
| 2022-05-07 20:34 UTC | 2.3 | +1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploaderPVP ok |
| 2018-02-24 22:15 UTC | 2.2.2 | +152/−36 lines, 14 filesdep ~basePVP: major bump suggested |
| 2014-06-02 02:22 UTC | 2.2.1 | +179/−4 lines, 8 filesdep ~basedep ~transformersPVP: major bump suggested |
showing 5 of 20 versions
parameterized-utils >=2.3 && <2.4 2.3.0.0 → 2.3.1.0
| 2026-08-27 15:32 UTC | 2.3.1.0 | +799/−352 lines, 9 filesdep +ghc-bignumdep +integer-gmpPVP: major bump suggested |
| 2026-03-09 15:08 UTC | 2.3.0.0 | +20/−31 lines, 6 filesdep −microlens-prodep −profunctorsPVP ok |
| 2026-01-22 19:29 UTC | 2.2.0.0 outside bounds | +52/−38 lines, 12 filesdep +microlensdep +microlens-prodep −lensPVP ok |
| 2025-11-05 00:21 UTC | 2.1.11.0 outside bounds | +6/−4 lines, 2 filesdep −ghc-primnew-uploaderPVP: major bump suggested |
| 2025-03-20 19:26 UTC | 2.1.10.0 outside bounds | +128/−5 lines, 15 filesdep ~basenew-uploaderPVP ok |
showing 5 of 20 versions
tasty >=1.2 1.5.3 → 1.5.4
| 2026-03-25 20:04 UTC | 1.5.4 | +332/−166 lines, 22 filesdep −semigroupsPVP ok |
| 2025-01-05 19:52 UTC | 1.5.3 | +36/−11 lines, 3 filesdep ~containersdep ~optparse-applicativePVP: major bump suggested |
| 2024-11-03 00:34 UTC | 1.5.2 | +22/−5 lines, 4 filesdep ~basePVP ok |
| 2024-06-22 10:14 UTC | 1.5.1 | +131/−63 lines, 10 filesdep ~basePVP: major bump suggested |
| 2023-09-10 00:08 UTC | 1.5 | +1005/−263 lines, 24 filesdep ~ansi-terminaldep ~containersdep ~optparse-applicativePVP ok |
showing 5 of 75 versions
tasty-hedgehog >=1.2 1.4.0.1 → 1.4.0.2
| 2023-08-07 06:43 UTC | 1.4.0.2 | +10/−4 lines, 3 filesdep ~basedep ~hedgehogdep ~tastyPVP ok |
| 2023-03-15 09:39 UTC | 1.4.0.1 | +11/−6 lines, 3 filesdep ~basedep ~hedgehogPVP ok |
| 2022-10-24 17:53 UTC | 1.4.0.0 | +23/−15 lines, 3 filesdep ~hedgehogPVP ok |
| 2022-10-05 08:58 UTC | 1.3.1.0 | +18/−11 lines, 3 filesnew-uploaderPVP ok |
| 2022-08-23 06:50 UTC | 1.3.0.0 | +13/−10 lines, 4 filesdep ~hedgehogPVP ok |
showing 5 of 15 versions
tasty-hunit >=0.9 0.10.1 → 0.10.2
| 2024-06-22 10:14 UTC | 0.10.2 | +15/−7 lines, 4 filesPVP ok |
| 2023-09-10 00:12 UTC | 0.10.1 | +30/−52 lines, 5 filesdep ~basedep ~call-stackdep ~tastynew-uploaderPVP ok |
| 2020-12-18 09:42 UTC | 0.10.0.3 | +55/−10 lines, 4 filesdep ~basePVP ok |
| 2019-05-15 05:50 UTC | 0.10.0.2 | +38/−8 lines, 3 filesdep ~tastyPVP: major bump suggested |
| 2017-12-01 19:24 UTC | 0.10.0.1 | +51/−29 lines, 4 filesPVP: major bump suggested |
showing 5 of 15 versions
tasty-quickcheck >=0.10 0.11 → 0.11.1
| 2025-01-05 19:53 UTC | 0.11.1 | +66/−33 lines, 4 filesdep +regex-tdfadep −pcre-lightdep ~QuickCheckdep ~basedep ~optparse-applicativePVP: major bump suggested |
| 2024-06-22 10:14 UTC | 0.11 | +132/−49 lines, 4 filesdep ~QuickCheckPVP ok |
| 2023-09-10 00:10 UTC | 0.10.3 | +52/−14 lines, 3 filesdep ~QuickCheckdep ~optparse-applicativedep ~randomnew-uploaderPVP ok |
| 2021-11-20 19:17 UTC | 0.10.2 | +21/−13 lines, 3 filesdep ~basePVP: major bump suggested |
| 2020-12-18 09:42 UTC | 0.10.1.2 | +27/−13 lines, 4 filesdep ~basePVP: major bump suggested |
showing 5 of 23 versions
text >=0 2.1.3 → 2.1.4
| 2026-01-28 08:30 UTC | 2.1.4 | +30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskellPVP ok |
| 2025-08-01 20:08 UTC | 2.1.3 | +2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskellPVP ok |
| 2024-10-26 13:22 UTC | 2.1.2 | +43588/−15378 lines, 41 filesdep ~basedep ~binaryPVP: major bump suggested |
| 2024-02-16 22:16 UTC | 2.1.1 | +986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskellPVP: major bump suggested |
| 2023-08-26 18:49 UTC | 2.1 | +448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploaderPVP ok |
showing 5 of 82 versions
transformers >=0.4 0.6.2.0 → 0.6.3.0
| 2026-01-12 12:42 UTC | 0.6.3.0 | +28/−1 lines, 4 filesPVP: major bump suggested |
| 2025-04-06 22:39 UTC | 0.6.2.0 | +41/−42 lines, 8 filesdep ~ghc-primPVP: major bump suggested |
| 2024-09-25 11:37 UTC | 0.6.1.2 | +70/−21 lines, 19 filesPVP: minor bump suggested |
| 2023-08-01 19:13 UTC | 0.6.1.1 | +281/−42 lines, 11 filesPVP ok |
| 2023-02-04 08:15 UTC | 0.6.1.0 | +64/−4 lines, 8 filesPVP ok |
showing 5 of 42 versions
Reverse dependencies
1 packages depend on what4-domains