Compare package versions

lean-spec

0.2.6-dev.20251126060744 → 0.2.6-dev.20251126063304
November 26, 2025 09:02
0.2.6-dev.20251126060744 → 0.2.6-dev.20251126062137
November 26, 2025 06:34
0.2.6-dev.20251126033915 → 0.2.6-dev.20251126062137
November 26, 2025 06:34
0.2.6-dev.20251126033915 → 0.2.6-dev.20251126060744
November 26, 2025 06:09
0.2.6-dev.20251126030344 → 0.2.6-dev.20251126060744
November 26, 2025 06:09
0.2.6-dev.20251126030344 → 0.2.6-dev.20251126033915
November 26, 2025 06:09
0.2.6-dev.20251126022840 → 0.2.6-dev.20251126033915
November 26, 2025 06:09
0.2.6-dev.20251126022840 → 0.2.6-dev.20251126030344
November 26, 2025 03:05
0.2.6-dev.20251126022313 → 0.2.6-dev.20251126030344
November 26, 2025 03:05
0.2.6-dev.20251126022313 → 0.2.6-dev.20251126022840
November 26, 2025 03:05
0.2.6-dev.20251125125653 → 0.2.6-dev.20251126022840
November 26, 2025 03:05
0.2.6-dev.20251125125653 → 0.2.6-dev.20251126022313
November 26, 2025 02:24
0.2.6-dev.20251125100207 → 0.2.6-dev.20251126022313
November 26, 2025 02:24
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