Compare package versions

lean-spec

0.2.5-dev.20251124044002 → 0.2.5-dev.20251124045153
November 24, 2025 05:05
0.2.5-dev.20251124033751 → 0.2.5-dev.20251124045153
November 24, 2025 05:05
0.2.5-dev.20251124033751 → 0.2.5-dev.20251124044002
November 24, 2025 04:41
0.2.5-dev.20251124033525 → 0.2.5-dev.20251124044002
November 24, 2025 04:41
0.2.5-dev.20251124033525 → 0.2.5-dev.20251124033751
November 24, 2025 04:41
0.2.5-dev.20251124023705 → 0.2.5-dev.20251124033751
November 24, 2025 04:41
0.2.5-dev.20251124023705 → 0.2.5-dev.20251124033525
November 24, 2025 03:37
0.2.5-dev.20251122151927 → 0.2.5-dev.20251124033525
November 24, 2025 03:36
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