Compare package versions

lean-spec

0.2.5-dev.20251125010225 → 0.2.6-dev.20251125010539
November 25, 2025 01:57
0.2.5-dev.20251119010817 → 0.2.5
November 19, 2025 01:09
0.2.5-dev.20251118144856 → 0.2.5
November 19, 2025 01:09
0.2.5-dev.20251124073254 → 0.2.5-dev.20251125010225
November 25, 2025 01:04
0.2.5-dev.20251124070920 → 0.2.5-dev.20251125010225
November 25, 2025 01:04
0.2.5-dev.20251124070920 → 0.2.5-dev.20251124073254
November 24, 2025 07:34
0.2.5-dev.20251124064307 → 0.2.5-dev.20251124073254
November 24, 2025 07:34
0.2.5-dev.20251124064307 → 0.2.5-dev.20251124070920
November 24, 2025 07:11
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