diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-04-11 12:41:17 +0200 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2023-04-12 08:29:38 -0400 |
| commit | 5395622da79173c89fe2b3b8139eb73bc46463ab (patch) | |
| tree | ed41e851e2e0b7241ad338bb69d22ed9a1dee846 /gnu/packages/lean.scm | |
| parent | 7c9a921018434f9b395e71676058810383fbfdb9 (diff) | |
| download | guix-5395622da79173c89fe2b3b8139eb73bc46463ab.tar.gz | |
gnu: mu: Update to 1.10.2.
* gnu/packages/mail.scm (mu): Update to 1.10.2. [arguments]: Add build phase 'fix-build-system.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions