diff options
| author | Mark H Weaver <mhw@netris.org> | 2020-04-21 18:22:09 -0400 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2020-04-21 18:22:09 -0400 |
| commit | 6e8f58fe31884e48ff771d0093fa6bbc77c40ed7 (patch) | |
| tree | 782c25c963821d5a878280b8009a5030f4e00bc6 /gnu/packages/coq.scm | |
| parent | 5800d54bee0649313b3412d4c16cf0cb54269bbb (diff) | |
| download | guix-6e8f58fe31884e48ff771d0093fa6bbc77c40ed7.tar.gz | |
gnu: linux-libre: Update to 5.4.34.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.34. (linux-libre-5.4-pristine-source): Update hash.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions