Compare package versions

lean-spec

0.2.6-dev.20251126064548 → 0.2.7-dev.20251126090057
November 26, 2025 09:03
0.2.6-dev.20251125015611 → 0.2.6
November 25, 2025 01:57
0.2.6-dev.20251125010539 → 0.2.6
November 25, 2025 01:57
0.2.6-dev.20251126063615 → 0.2.6-dev.20251126064548
November 26, 2025 09:02
0.2.6-dev.20251126063304 → 0.2.6-dev.20251126064548
November 26, 2025 09:02
0.2.6-dev.20251126063304 → 0.2.6-dev.20251126063615
November 26, 2025 09:02
0.2.6-dev.20251126062137 → 0.2.6-dev.20251126063615
November 26, 2025 09:02
0.2.6-dev.20251126062137 → 0.2.6-dev.20251126063304
November 26, 2025 09:02
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