Compare package versions

lean-spec

0.2.5-dev.20251122151927 → 0.2.5-dev.20251124023705
November 24, 2025 02:38
0.2.5-dev.20251122121758 → 0.2.5-dev.20251124023705
November 24, 2025 02:38
0.2.5-dev.20251122121758 → 0.2.5-dev.20251122151927
November 22, 2025 15:20
0.2.5-dev.20251121093721 → 0.2.5-dev.20251122151927
November 22, 2025 15:20
0.2.5-dev.20251121093721 → 0.2.5-dev.20251122121758
November 22, 2025 12:19
0.2.5-dev.20251120093243 → 0.2.5-dev.20251122121758
November 22, 2025 12:19
0.2.5-dev.20251120093243 → 0.2.5-dev.20251121093721
November 21, 2025 09:38
0.2.5-dev.20251120072524 → 0.2.5-dev.20251121093721
November 21, 2025 09:39
0.2.5-dev.20251120072524 → 0.2.5-dev.20251120093243
November 20, 2025 09:34
0.2.5-dev.20251120070726 → 0.2.5-dev.20251120093243
November 20, 2025 09:34
0.2.5-dev.20251120070726 → 0.2.5-dev.20251120072524
November 20, 2025 07:26
0.2.5-dev.20251120060929 → 0.2.5-dev.20251120072524
November 20, 2025 07:26
0.2.5-dev.20251120060929 → 0.2.5-dev.20251120070726
November 20, 2025 07:08
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