Compare package versions

lean-spec

0.2.6-dev.20251125100207 → 0.2.6-dev.20251125125653
November 25, 2025 12:58
0.2.6-dev.20251125092944 → 0.2.6-dev.20251125125653
November 25, 2025 12:58
0.2.6-dev.20251125092944 → 0.2.6-dev.20251125100207
November 25, 2025 12:58
0.2.6-dev.20251125092039 → 0.2.6-dev.20251125100207
November 25, 2025 12:58
0.2.6-dev.20251125092039 → 0.2.6-dev.20251125092944
November 25, 2025 10:03
0.2.6-dev.20251125070417 → 0.2.6-dev.20251125092944
November 25, 2025 10:03
0.2.6-dev.20251125070417 → 0.2.6-dev.20251125092039
November 25, 2025 10:03
0.2.6-dev.20251125070051 → 0.2.6-dev.20251125092039
November 25, 2025 10:03
0.2.6-dev.20251125070051 → 0.2.6-dev.20251125070417
November 25, 2025 09:22
0.2.6-dev.20251125064907 → 0.2.6-dev.20251125070417
November 25, 2025 09:22
0.2.6-dev.20251125064907 → 0.2.6-dev.20251125070051
November 25, 2025 07:05
0.2.6-dev.20251125033622 → 0.2.6-dev.20251125070051
November 25, 2025 07:05
0.2.6-dev.20251125033622 → 0.2.6-dev.20251125064907
November 25, 2025 07:05
0.2.6-dev.20251125022459 → 0.2.6-dev.20251125064907
November 25, 2025 07:05
0.2.6-dev.20251125022459 → 0.2.6-dev.20251125033622
November 25, 2025 03:37
0.2.6-dev.20251125015611 → 0.2.6-dev.20251125033622
November 25, 2025 03:37
0.2.6-dev.20251125015611 → 0.2.6-dev.20251125022459
November 25, 2025 02:26
0.2.6-dev.20251125010539 → 0.2.6-dev.20251125022459
November 25, 2025 02:26
0.2.6-dev.20251125010539 → 0.2.6-dev.20251125015611
November 25, 2025 01:57
0.2.5 → 0.2.6-dev.20251125015611
November 25, 2025 01:57
0.2.5 → 0.2.6-dev.20251125010539
November 25, 2025 01:57