diff options
| author | Léo Le Bouter <lle-bout@zaclys.net> | 2021-02-18 05:33:38 +0100 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-02-18 21:29:17 +0100 |
| commit | 05fad6e54d497b7427ab7ea488210c7d43c3f676 (patch) | |
| tree | 7d2287aa01cb97c86c576405563435694ef949e6 /nongnu/packages/coq.scm | |
| parent | 6d643cc9cd0dc5bd93814dcd62e32bbed56b2305 (diff) | |
nongnu: intel-microcode: Update to 20210216.
* nongnu/packages/linux.scm (intel-microcode): Update to 20210216.
Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions