diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-26 01:09:21 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-26 04:22:50 +0100 |
| commit | b87051b74a4e529b459a6b1a86fd7cec187c70b2 (patch) | |
| tree | fe37c0c24a10d205ff23839f3beddce8e0b8ed21 /gnu/ci.scm | |
| parent | 4491c624dd4a0af52873e9884ab8240cf09936e3 (diff) | |
| download | guix-b87051b74a4e529b459a6b1a86fd7cec187c70b2.tar guix-b87051b74a4e529b459a6b1a86fd7cec187c70b2.tar.gz | |
gnu: lean: Update to 3.23.0.
* gnu/packages/lean.scm (lean): Update to 3.23.0.
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions