diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-07-25 12:16:21 +0200 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-07-25 12:16:21 +0200 |
| commit | 4892d4a613073613ecb53b49ca1bcabf513fbd29 (patch) | |
| tree | 91d8742efb0f1ef9194998451a4f5f75fd17e133 /nongnu/packages/coq.scm | |
| parent | dffdad1431891cddb923e274d42a76e2706429b8 (diff) | |
nongnu: linux@5.18: Update to 5.18.14.
* nongnu/packages/linux.scm (linux-5.18): Update to 5.18.14.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions