Show patches with: Series = [bug#67315,1/2] gnu: lean: Use G-expressions.       |    State = Action Required       |    Archived = No       |   2 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#67315,2/2] gnu: lean: Update to 3.51.1. [bug#67315,1/2] gnu: lean: Use G-expressions. - - - --- 2023-11-21 Zhu Zihao New
[bug#67315,1/2] gnu: lean: Use G-expressions. [bug#67315,1/2] gnu: lean: Use G-expressions. - - - --- 2023-11-21 Zhu Zihao New