diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2023-04-05 21:15:25 +0200 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2023-04-05 21:15:25 +0200 |
| commit | 8ec4b837431b9615a86cfbd5613f24847fa220d0 (patch) | |
| tree | 7a7a4726a3f8b72532f3b237a3c22c6772f2ad71 /nongnu/packages/coq.scm | |
| parent | 76a34782395ca71b4ea85a5a7821d5f15b47299d (diff) | |
nongnu: linux-firmware: Update to 20230404.
* nongnu/packages/linux.scm (linux-firmware): Update to 20230404.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions