diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-07-19 02:29:31 -0500 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-07-19 02:29:31 -0500 |
| commit | 4deab59f5aed983dd6466603be8b6bb122c83e04 (patch) | |
| tree | ce922aaa0962ea6ffdbd6aae88433c211d1aa078 /gnu/machine.scm | |
| parent | 667903d1433ae86df09cc090daac67faa62afd32 (diff) | |
gnu: lean: Update to 3.17.1.
* gnu/packages/lean.scm (lean): Update to 3.17.1.
Diffstat (limited to 'gnu/machine.scm')
0 files changed, 0 insertions, 0 deletions