leancheck-extras
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0 | 2026-04-22 23:26 UTC | JohannesWaldmann | +92/−0 lines, 2 filesdep +basedep +leancheck |
Dependencies of leancheck-extras-0
base >=4 && <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
leancheck >=1 && <1.1 1.0.2 → 1.0.4
| 2025-08-07 12:43 UTC | 1.0.4 | +485/−211 lines, 10 files |
| 2024-01-26 17:03 UTC | 1.0.2 | +16604/−16546 lines, 292 files |
| 2022-08-22 08:19 UTC | 1.0.0 | +11/−2 lines, 2 files |
| 2022-08-21 14:24 UTC | 0.9.12 outside bounds | +1461/−1496 lines, 50 files |
| 2021-06-04 00:57 UTC | 0.9.10 outside bounds | +69/−10 lines, 4 files |
showing 5 of 33 versions
Reverse dependencies
no known reverse dependencies