Compare package versions

lean-spec

0.2.18 → 0.2.19
January 19, 2026 06:34
0.2.18-dev.21126840699 → 0.2.19
January 19, 2026 06:33
0.2.19-dev.21388397943 → 0.2.19-dev.21389425071
January 27, 2026 08:20
0.2.19-dev.21387450109 → 0.2.19-dev.21389425071
January 27, 2026 08:20
0.2.19-dev.21387450109 → 0.2.19-dev.21388397943
January 27, 2026 07:43
0.2.19-dev.21387117168 → 0.2.19-dev.21388397943
January 27, 2026 07:43
0.2.19-dev.21387117168 → 0.2.19-dev.21387450109
January 27, 2026 07:43
0.2.19-dev.21382316476 → 0.2.19-dev.21387450109
January 27, 2026 07:43
0.2.19-dev.21382316476 → 0.2.19-dev.21387117168
January 27, 2026 06:59
0.2.19-dev.21349915626 → 0.2.19-dev.21387117168
January 27, 2026 06:58
0.2.19-dev.21349915626 → 0.2.19-dev.21382316476
January 27, 2026 02:47
0.2.19-dev.21287601001 → 0.2.19-dev.21382316476
January 27, 2026 02:47
0.2.19-dev.21287601001 → 0.2.19-dev.21349915626
January 26, 2026 07:52
0.2.19-dev.21275378865 → 0.2.19-dev.21349915626
January 26, 2026 07:51
0.2.19-dev.21275378865 → 0.2.19-dev.21287601001
January 23, 2026 13:32
0.2.19-dev.21251648522 → 0.2.19-dev.21287601001
January 23, 2026 13:32
0.2.19-dev.21251648522 → 0.2.19-dev.21275378865
January 23, 2026 13:32
0.2.19-dev.21234803493 → 0.2.19-dev.21275378865
January 23, 2026 13:32
0.2.19-dev.21234803493 → 0.2.19-dev.21251648522
January 22, 2026 14:23
0.2.19-dev.21234656432 → 0.2.19-dev.21251648522
January 22, 2026 14:23
0.2.19-dev.21234656432 → 0.2.19-dev.21234803493
January 22, 2026 14:23