diff options
| author | Timotej Lazar <timotej.lazar@araneo.si> | 2024-03-29 22:03:26 +0100 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2024-04-01 14:38:54 +0200 |
| commit | 34dec82fa91daed9c4d6869717c0ce5bb589393e (patch) | |
| tree | 3f5751c200fe83d3ff40178ed333b356e3f17eb3 /nongnu/packages/coq.scm | |
| parent | 62daa38457a3c0ad4c02662a916122af5bc7e01a (diff) | |
nongnu: linux-firmware: Update to 20240312.
* nongnu/packages/linux.scm (linux-firmware): Update to 20240312.
[arguments]: Disable strip-binaries? and validate-runpath? flags but keep the
corresponding build phases.
(select-firmware): Handle the new RawFile keyword.
Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions