diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-10-13 20:02:51 +0200 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-10-13 20:02:51 +0200 |
| commit | dcc067c70aa528878b576712949fb71b8702586b (patch) | |
| tree | b97718bc96ecbae15b9c28356842aa7b5461ad3a /nongnu/packages/coq.scm | |
| parent | 598289d1e230469f81aa4678a4b9822d81c95194 (diff) | |
nongnu: linux@5.14: Update to 5.14.295.
* nongnu/packages/linux.scm (linux-5.14): Update to 5.14.295.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions