diff options
| author | Timotej Lazar <timotej.lazar@araneo.si> | 2022-05-25 16:43:06 +0200 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-05-25 21:26:18 +0200 |
| commit | 61ca8018b0e5f8e0b0efb8d0e35a03326fec24c3 (patch) | |
| tree | e7e837fd82ec9794aa4679aa5b33cdf9f565d744 /nongnu/packages/coq.scm | |
| parent | e87ff5f3a24b8a0696b8259594ac4fcf6fce0bc3 (diff) | |
nongnu: intel-microcode: Update to 20220510.
* nongnu/packages/linux.scm (intel-microcode): Update to 20220510.
Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions