Compare package versions

lean-spec

0.2.5-dev.20251120022746 → 0.2.5-dev.20251120031921
November 20, 2025 03:20
0.2.5-dev.20251120022746 → 0.2.5-dev.20251120023349
November 20, 2025 03:20
0.2.5-dev.20251120015656 → 0.2.5-dev.20251120023349
November 20, 2025 03:20
0.2.5-dev.20251120015656 → 0.2.5-dev.20251120022746
November 20, 2025 02:29
0.2.5-dev.20251119062438 → 0.2.5-dev.20251120022746
November 20, 2025 02:29
0.2.5-dev.20251119062438 → 0.2.5-dev.20251120015656
November 20, 2025 01:58
0.2.5-dev.20251119032109 → 0.2.5-dev.20251120015656
November 20, 2025 01:58
0.2.5-dev.20251119032109 → 0.2.5-dev.20251119062438
November 19, 2025 06:26
0.2.5-dev.20251119025751 → 0.2.5-dev.20251119062438
November 19, 2025 06:26
0.2.5-dev.20251119025751 → 0.2.5-dev.20251119032109
November 19, 2025 03:22
0.2.5-dev.20251119022856 → 0.2.5-dev.20251119032109
November 19, 2025 03:22
0.2.5-dev.20251119022856 → 0.2.5-dev.20251119025751
November 19, 2025 02:59
0.2.5-dev.20251119014122 → 0.2.5-dev.20251119025751
November 19, 2025 02:59
0.2.5-dev.20251119014122 → 0.2.5-dev.20251119022856
November 19, 2025 02:30
0.2.5-dev.20251119010817 → 0.2.5-dev.20251119022856
November 19, 2025 02:30
0.2.5-dev.20251119010817 → 0.2.5-dev.20251119014122
November 19, 2025 01:42
0.2.5-dev.20251118144856 → 0.2.5-dev.20251119014122
November 19, 2025 01:43
0.2.5-dev.20251118144856 → 0.2.5-dev.20251119010817
November 19, 2025 01:09
0.2.5-dev.20251118144146 → 0.2.5-dev.20251119010817
November 19, 2025 01:09
0.2.5-dev.20251118144146 → 0.2.5-dev.20251118144856
November 19, 2025 01:09
0.2.5-dev.20251118143726 → 0.2.5-dev.20251118144856
November 19, 2025 01:09