Compare package versions

lean-spec

0.2.7-dev.20251127021524 → 0.2.7-dev.20251127021753
November 27, 2025 02:33
0.2.7-dev.20251127013944 → 0.2.7-dev.20251127021753
November 27, 2025 02:33
0.2.7-dev.20251127013944 → 0.2.7-dev.20251127021524
November 27, 2025 02:17
0.2.7-dev.20251126145902 → 0.2.7-dev.20251127021524
November 27, 2025 02:16
0.2.7-dev.20251126145902 → 0.2.7-dev.20251127013944
November 27, 2025 01:41
0.2.7-dev.20251126100750 → 0.2.7-dev.20251127013944
November 27, 2025 01:41
0.2.7-dev.20251126100750 → 0.2.7-dev.20251126145902
November 26, 2025 15:01
0.2.7-dev.20251126090633 → 0.2.7-dev.20251126145902
November 26, 2025 15:01
0.2.7-dev.20251126090633 → 0.2.7-dev.20251126100750
November 26, 2025 15:01
0.2.7-dev.20251126090057 → 0.2.7-dev.20251126100750
November 26, 2025 15:00
0.2.7-dev.20251126090057 → 0.2.7-dev.20251126090633
November 26, 2025 10:08
0.2.6 → 0.2.7-dev.20251126090633
November 26, 2025 10:08
0.2.6 → 0.2.7-dev.20251126090057
November 26, 2025 09:03
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