Compare package versions

lean-spec

0.2.22 → 0.2.23
February 03, 2026 18:54
0.2.21 → 0.2.23
February 03, 2026 18:54
0.2.21 → 0.2.22
February 02, 2026 05:29
0.2.21-dev.21575245759 → 0.2.22
February 02, 2026 05:29
0.2.20 → 0.2.21
January 27, 2026 09:50
0.2.19 → 0.2.21
January 27, 2026 09:50
0.2.21-dev.21574608473 → 0.2.21-dev.21575245759
February 02, 2026 02:41
0.2.20 → 0.2.21-dev.21575245759
February 02, 2026 02:42
0.2.20 → 0.2.21-dev.21574608473
February 02, 2026 02:04
0.2.19 → 0.2.21-dev.21574608473
February 02, 2026 02:04
0.2.19 → 0.2.20
January 27, 2026 09:50
0.2.19-dev.21389425071 → 0.2.20
January 27, 2026 09:50
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