Compare package versions

lean-spec

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
0.2.19-dev.21202485632 → 0.2.19-dev.21234803493
January 22, 2026 14:23
0.2.19-dev.21202485632 → 0.2.19-dev.21234656432
January 22, 2026 03:23
0.2.19-dev.21196353066 → 0.2.19-dev.21234656432
January 22, 2026 03:23
0.2.19-dev.21196353066 → 0.2.19-dev.21202485632
January 21, 2026 08:37
0.2.19-dev.21166357960 → 0.2.19-dev.21202485632
January 21, 2026 08:37
0.2.19-dev.21166357960 → 0.2.19-dev.21196353066
January 21, 2026 03:49
0.2.18 → 0.2.19-dev.21196353066
January 21, 2026 03:49
0.2.18 → 0.2.19-dev.21166357960
January 20, 2026 14:50
0.2.18-dev.21126840699 → 0.2.19-dev.21166357960
January 20, 2026 14:49
0.2.18-dev.21126840699 → 0.2.18
January 19, 2026 05:59
0.2.17-dev.21036599661 → 0.2.18
January 19, 2026 05:59
0.2.17-dev.21036599661 → 0.2.18-dev.21126840699
January 19, 2026 05:59
0.2.17-dev.21035738990 → 0.2.18-dev.21126840699
January 19, 2026 05:59
0.2.17-dev.21035738990 → 0.2.17-dev.21036599661
January 15, 2026 15:34
0.2.17-dev.21033364960 → 0.2.17-dev.21036599661
January 15, 2026 15:34
0.2.17-dev.21033364960 → 0.2.17-dev.21035738990
January 15, 2026 15:34
0.2.15-dev.21026674201 → 0.2.17-dev.21035738990
January 15, 2026 15:34