Compare package versions

lean-spec

0.2.5-dev.20251120054404 → 0.2.5-dev.20251120070726
November 20, 2025 07:08
0.2.5-dev.20251120054404 → 0.2.5-dev.20251120060929
November 20, 2025 06:10
0.2.5-dev.20251120052253 → 0.2.5-dev.20251120060929
November 20, 2025 06:10
0.2.5-dev.20251120052253 → 0.2.5-dev.20251120054404
November 20, 2025 06:11
0.2.5-dev.20251120031921 → 0.2.5-dev.20251120054404
November 20, 2025 06:10
0.2.5-dev.20251120031921 → 0.2.5-dev.20251120052253
November 20, 2025 05:24
0.2.5-dev.20251120023349 → 0.2.5-dev.20251120052253
November 20, 2025 05:24
0.2.5-dev.20251120023349 → 0.2.5-dev.20251120031921
November 20, 2025 03:20
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