Compare package versions

lean4monaco

1.1.5 → 1.1.6
January 08, 2026 21:51
1.1.4 → 1.1.6
January 08, 2026 21:51
1.1.4 → 1.1.5
December 25, 2025 14:24
1.1.3 → 1.1.5
December 25, 2025 14:24
1.1.3 → 1.1.4
November 30, 2025 19:57
1.1.2 → 1.1.4
November 30, 2025 19:57
1.1.2 → 1.1.3
June 30, 2025 00:59
1.1.1 → 1.1.3
June 30, 2025 00:59
1.1.1 → 1.1.2
June 30, 2025 00:58
1.1.0 → 1.1.2
June 30, 2025 00:59
1.1.0 → 1.1.1
June 10, 2025 21:42
1.0.46 → 1.1.1
June 10, 2025 21:42
1.0.46 → 1.1.0
June 10, 2025 20:54
1.0.45 → 1.1.0
June 10, 2025 20:51
1.0.45 → 1.0.46
March 11, 2025 12:01
1.0.43 → 1.0.46
March 11, 2025 12:02
1.0.43 → 1.0.45
March 11, 2025 10:35
1.0.42 → 1.0.45
March 11, 2025 10:34
1.0.42 → 1.0.43
March 06, 2025 19:22
1.0.41 → 1.0.43
March 06, 2025 19:22
1.0.41 → 1.0.42
February 27, 2025 18:09