Compare package versions

lean-spec

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
0.2.1 → 0.2.3
November 17, 2025 13:10
0.2.1 → 0.2.2
November 13, 2025 13:49
0.2.0 → 0.2.2
November 13, 2025 13:49
0.2.0 → 0.2.1
November 13, 2025 07:54
0.1.5 → 0.2.1
November 13, 2025 07:54
0.1.5 → 0.2.0
November 10, 2025 13:34
0.1.4 → 0.2.0
November 10, 2025 13:34
0.1.4 → 0.1.5
November 10, 2025 13:34