diff options
| author | Christopher Baines <mail@cbaines.net> | 2020-10-20 09:45:11 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2020-10-20 09:45:11 +0100 |
| commit | 0da77d59b726c2392a824c9c1f7b11a763389c6e (patch) | |
| tree | ca8fa61412941b0fdef7e6f9ca7e42fd40baa167 /gnu/packages/lean.scm | |
| parent | d096fa939dbe74884b08a7b0669951d020989cb2 (diff) | |
| download | guix-0da77d59b726c2392a824c9c1f7b11a763389c6e.tar guix-0da77d59b726c2392a824c9c1f7b11a763389c6e.tar.gz | |
gnu: guix-build-coordinator: Update to 0-2.86e446c.
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-2.86e446c.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions