/etc/

'2023-12-11 23:39:01 +0100'>2023-12-11gnu: lean: Use G-expressions....* gnu/packages/lean.scm (lean)[arguments]: Use G-expressions. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Zhu Zihao