Compare package versions

lean-spec

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
0.2.7-dev.20251128013112 → 0.2.7-dev.20251128015707
November 28, 2025 09:12
0.2.7-dev.20251128013112 → 0.2.7-dev.20251128014554
November 28, 2025 01:47
0.2.7-dev.20251128011647 → 0.2.7-dev.20251128014554
November 28, 2025 01:47
0.2.7-dev.20251128011647 → 0.2.7-dev.20251128013112
November 28, 2025 01:47
0.2.7-dev.20251127084251 → 0.2.7-dev.20251128013112
November 28, 2025 01:47
0.2.7-dev.20251127084251 → 0.2.7-dev.20251128011647
November 28, 2025 01:18
0.2.7-dev.20251127082201 → 0.2.7-dev.20251128011647
November 28, 2025 01:18
0.2.7-dev.20251127082201 → 0.2.7-dev.20251127084251
November 27, 2025 08:44
0.2.7-dev.20251127073850 → 0.2.7-dev.20251127084251
November 27, 2025 08:44
0.2.7-dev.20251127073850 → 0.2.7-dev.20251127082201
November 27, 2025 08:24
0.2.7-dev.20251127073145 → 0.2.7-dev.20251127082201
November 27, 2025 08:23
0.2.7-dev.20251127073145 → 0.2.7-dev.20251127073850
November 27, 2025 08:23
0.2.7-dev.20251127055844 → 0.2.7-dev.20251127073850
November 27, 2025 08:23