Compare package versions

lean-spec

0.2.28-dev.23044283727 → 0.2.28
March 23, 2026 03:05
0.2.27 → 0.2.28
March 23, 2026 03:05
0.2.27 → 0.2.28-dev.23044283727
March 13, 2026 09:35
0.2.26 → 0.2.28-dev.23044283727
March 13, 2026 09:35
0.2.26 → 0.2.27
March 09, 2026 14:25
0.2.25 → 0.2.27
March 09, 2026 14:25
0.2.25 → 0.2.26
March 04, 2026 02:30
0.2.24 → 0.2.26
March 04, 2026 02:30
0.2.24 → 0.2.25
February 27, 2026 14:04
0.2.23 → 0.2.25
February 27, 2026 14:04
0.2.23 → 0.2.24
February 23, 2026 03:38
0.2.22 → 0.2.24
February 23, 2026 03:38
0.2.22 → 0.2.23
February 03, 2026 18:54
0.2.21 → 0.2.23
February 03, 2026 18:54
0.2.21 → 0.2.22
February 02, 2026 05:29
0.2.21-dev.21575245759 → 0.2.22
February 02, 2026 05:29
0.2.20 → 0.2.21
January 27, 2026 09:50
0.2.19 → 0.2.21
January 27, 2026 09:50
0.2.21-dev.21574608473 → 0.2.21-dev.21575245759
February 02, 2026 02:41
0.2.20 → 0.2.21-dev.21575245759
February 02, 2026 02:42
0.2.20 → 0.2.21-dev.21574608473
February 02, 2026 02:04