Compare package versions

lean-spec

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
0.2.5-dev.20251118143726 → 0.2.5-dev.20251118144146
November 19, 2025 01:09
0.2.5-dev.20251118134144 → 0.2.5-dev.20251118144146
November 19, 2025 01:09
0.2.5-dev.20251118134144 → 0.2.5-dev.20251118143726
November 18, 2025 14:38
0.2.4 → 0.2.5-dev.20251118143726
November 18, 2025 14:38
0.2.4 → 0.2.5-dev.20251118134144
November 18, 2025 13:43
0.2.4-dev.20251118091714 → 0.2.5-dev.20251118134144
November 18, 2025 13:43
0.2.3 → 0.2.4
November 17, 2025 15:35
0.2.2 → 0.2.4
November 17, 2025 15:35
0.2.4-dev.20251118080109 → 0.2.4-dev.20251118091714
November 18, 2025 13:43
0.2.3 → 0.2.4-dev.20251118091714
November 18, 2025 13:43
0.2.3 → 0.2.4-dev.20251118080109
November 18, 2025 08:02
0.2.2 → 0.2.4-dev.20251118080109
November 18, 2025 08:02
0.2.2 → 0.2.3
November 17, 2025 13:10