Compare package versions

lean-spec

0.1.3 → 0.1.5
November 10, 2025 13:34
0.1.3 → 0.1.4
November 10, 2025 13:34
0.1.2 → 0.1.4
November 10, 2025 13:34
0.1.2 → 0.1.3
November 10, 2025 07:57
0.1.1 → 0.1.3
November 10, 2025 07:57
0.1.1 → 0.1.2
November 10, 2025 05:04
0.1.0 → 0.1.2
November 10, 2025 05:04
0.1.0 → 0.1.1
November 07, 2025 02:09
0.1.0
November 02, 2025 05:23