diff options
| author | Leo Famulari <leo@famulari.name> | 2021-11-21 17:07:29 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2021-11-22 10:43:00 -0500 |
| commit | 4df826f3404b469b88b9f234102bab973bf6c48a (patch) | |
| tree | c7ef3833d5c679bdb9ce503d700c0b420d578e1a /gnu/packages/coq.scm | |
| parent | 5bff28e0895289edbdb5a8f88246ed2066ee27d9 (diff) | |
gnu: linux-libre 5.4: Update to 5.4.161.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.161.
(linux-libre-5.4-pristine-source): Update hash.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions