Compare package versions

lean-spec

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
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