Compare package versions

lean-spec

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
0.2.15-dev.21026674201 → 0.2.17-dev.21033364960
January 15, 2026 15:08
0.2.15-dev.21025278490 → 0.2.17-dev.21033364960
January 15, 2026 15:08
0.2.15-dev.21025278490 → 0.2.15-dev.21026674201
January 15, 2026 09:49
0.2.15-dev.21022397862 → 0.2.15-dev.21026674201
January 15, 2026 09:49
0.2.15-dev.21022397862 → 0.2.15-dev.21025278490
January 15, 2026 08:59
0.2.10 → 0.2.15-dev.21025278490
January 15, 2026 08:59
0.2.10 → 0.2.15-dev.21022397862
January 15, 2026 08:59
0.2.9 → 0.2.15-dev.21022397862
January 15, 2026 08:59
0.2.9 → 0.2.10
December 05, 2025 06:39
0.2.9-dev.20251205030455 → 0.2.10
December 05, 2025 06:38
0.2.8 → 0.2.9
December 04, 2025 07:54
0.2.7 → 0.2.9
December 04, 2025 07:54
0.2.8 → 0.2.9-dev.20251205030455
December 05, 2025 03:07