Age | Commit message (Expand) | Author |
---|---|---|
2021-12-13 | gnu: Simplify package inputs....This commit was obtained by running: ./pre-inst-env guix style without any additional argument. | Ludovic Courtès |
2020-11-26 | gnu: lean: Trim synopsis....* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name. | Tobias Geerinckx-Rice |
2020-11-26 | gnu: lean: Update to 3.23.0....* gnu/packages/lean.scm (lean): Update to 3.23.0. | Tobias Geerinckx-Rice |