diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-04-19 12:41:28 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-04-19 19:22:59 +0200 |
| commit | 409e20a65c556cad85f132f02564fb9f1f35a4f7 (patch) | |
| tree | 1611ee574b7617368eafb9b50c53e6e372ab7dd3 /gnu/packages/lean.scm | |
| parent | d3480fbfaf2a4fc61360e09bbbfe4136271ae7e4 (diff) | |
| download | guix-409e20a65c556cad85f132f02564fb9f1f35a4f7.tar.gz | |
gnu: inxi-minimal: Update to 3.3.04-1.
* gnu/packages/admin.scm (inxi-minimal): Update to 3.3.04-1.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions