Compare package versions

lean-spec

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
0.2.7-dev.20251127055844 → 0.2.7-dev.20251127073145
November 27, 2025 07:33
0.2.7-dev.20251127024801 → 0.2.7-dev.20251127073145
November 27, 2025 07:33
0.2.7-dev.20251127024801 → 0.2.7-dev.20251127055844
November 27, 2025 06:00
0.2.7-dev.20251127023144 → 0.2.7-dev.20251127055844
November 27, 2025 06:00
0.2.7-dev.20251127023144 → 0.2.7-dev.20251127024801
November 27, 2025 02:49
0.2.7-dev.20251127021753 → 0.2.7-dev.20251127024801
November 27, 2025 02:49
0.2.7-dev.20251127021753 → 0.2.7-dev.20251127023144
November 27, 2025 02:49
0.2.7-dev.20251127021524 → 0.2.7-dev.20251127023144
November 27, 2025 02:49