Compare package versions

lean-spec

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
0.2.7 → 0.2.9-dev.20251205030455
December 05, 2025 03:07
0.2.7 → 0.2.8
November 28, 2025 09:13
0.2.7-dev.20251128020042 → 0.2.8
November 28, 2025 09:12
0.2.7-dev.20251126090633 → 0.2.7
November 26, 2025 10:08
0.2.7-dev.20251126090057 → 0.2.7
November 26, 2025 10:08
0.2.7-dev.20251128015707 → 0.2.7-dev.20251128020042
November 28, 2025 09:12
0.2.7-dev.20251128014554 → 0.2.7-dev.20251128020042
November 28, 2025 09:12
0.2.7-dev.20251128014554 → 0.2.7-dev.20251128015707
November 28, 2025 09:12