Compare package versions

lean-spec

0.2.5-dev.20251124062211 → 0.2.5-dev.20251124070920
November 24, 2025 07:11
0.2.5-dev.20251124062211 → 0.2.5-dev.20251124064307
November 24, 2025 06:44
0.2.5-dev.20251124060913 → 0.2.5-dev.20251124064307
November 24, 2025 06:44
0.2.5-dev.20251124060913 → 0.2.5-dev.20251124062211
November 24, 2025 06:44
0.2.5-dev.20251124054449 → 0.2.5-dev.20251124062211
November 24, 2025 06:44
0.2.5-dev.20251124054449 → 0.2.5-dev.20251124060913
November 24, 2025 06:11
0.2.5-dev.20251124054130 → 0.2.5-dev.20251124060913
November 24, 2025 06:10
0.2.5-dev.20251124054130 → 0.2.5-dev.20251124054449
November 24, 2025 06:10
0.2.5-dev.20251124050427 → 0.2.5-dev.20251124054449
November 24, 2025 06:10
0.2.5-dev.20251124050427 → 0.2.5-dev.20251124054130
November 24, 2025 05:42
0.2.5-dev.20251124045153 → 0.2.5-dev.20251124054130
November 24, 2025 05:42
0.2.5-dev.20251124045153 → 0.2.5-dev.20251124050427
November 24, 2025 05:42
0.2.5-dev.20251124044002 → 0.2.5-dev.20251124050427
November 24, 2025 05:42
0.2.5-dev.20251124044002 → 0.2.5-dev.20251124045153
November 24, 2025 05:05
0.2.5-dev.20251124033751 → 0.2.5-dev.20251124045153
November 24, 2025 05:05
0.2.5-dev.20251124033751 → 0.2.5-dev.20251124044002
November 24, 2025 04:41
0.2.5-dev.20251124033525 → 0.2.5-dev.20251124044002
November 24, 2025 04:41
0.2.5-dev.20251124033525 → 0.2.5-dev.20251124033751
November 24, 2025 04:41
0.2.5-dev.20251124023705 → 0.2.5-dev.20251124033751
November 24, 2025 04:41
0.2.5-dev.20251124023705 → 0.2.5-dev.20251124033525
November 24, 2025 03:37
0.2.5-dev.20251122151927 → 0.2.5-dev.20251124033525
November 24, 2025 03:36