packages feed

lean

view on Hackage

versionuploadeduploaderchanges
0.0.0.12019-05-15 17:42 UTCMatthewFarkasDyck+548/−0 lines, 18 filesdep +basedep +base-unicode-symbolsdep +text-utf8

Dependencies of lean-0.0.0.1

base >=4.7 && <5 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+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

base-unicode-symbols >=0 0.2.4.1 → 0.2.4.2
2019-07-10 11:35 UTC0.2.4.2+2/−1 lines, 2 filesPVP: minor bump suggested
2019-07-10 11:23 UTC0.2.4.1+2/−2 lines, 2 filesPVP ok
2019-07-10 11:11 UTC0.2.4+28/−17 lines, 4 filesPVP ok
2018-11-20 11:22 UTC0.2.3+903/−860 lines, 29 filesdep ~basePVP: major bump suggested
2012-07-06 11:18 UTC0.2.2.4+11/−11 lines, 3 filesdep ~basePVP: major bump suggested

showing 5 of 22 versions

text-utf8 >=0 (empty) → 1.2.3.0
2018-05-14 00:08 UTC1.2.3.0+17049/−0 lines, 105 filesdep +HUnitdep +QuickCheckdep +arraysetup-changed
transformers >=0 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 filesPVP: major bump suggested
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-primPVP: major bump suggested
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 filesPVP: minor bump suggested
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 filesPVP ok
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 filesPVP ok

showing 5 of 42 versions

util >=0 0.1.17.0 → 0.1.17.1
2020-02-04 21:58 UTC0.1.17.1+2/−2 lines, 2 filesPVP ok
2019-12-23 16:28 UTC0.1.17.0+9/−1 lines, 2 filesPVP ok
2019-12-23 00:27 UTC0.1.16.0+12/−1 lines, 2 filesPVP ok
2019-12-14 09:05 UTC0.1.15.0+20/−2 lines, 2 filesPVP ok
2019-12-05 19:13 UTC0.1.14.1+9/−8 lines, 4 filesdep ~basePVP ok

showing 5 of 22 versions

Reverse dependencies

no known reverse dependencies