Compare package versions

lean-spec

0.2.7-dev.20251127055844 → 0.2.7-dev.20251127073145
November 27, 2025 07:33
0.2.7-dev.20251127024801 → 0.2.7-dev.20251127073145
November 27, 2025 07:33
0.2.7-dev.20251127024801 → 0.2.7-dev.20251127055844
November 27, 2025 06:00
0.2.7-dev.20251127023144 → 0.2.7-dev.20251127055844
November 27, 2025 06:00
0.2.7-dev.20251127023144 → 0.2.7-dev.20251127024801
November 27, 2025 02:49
0.2.7-dev.20251127021753 → 0.2.7-dev.20251127024801
November 27, 2025 02:49
0.2.7-dev.20251127021753 → 0.2.7-dev.20251127023144
November 27, 2025 02:49
0.2.7-dev.20251127021524 → 0.2.7-dev.20251127023144
November 27, 2025 02:49
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