diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-07-25 12:45:33 +0200 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-07-25 12:45:33 +0200 |
| commit | 0e4c9f7c9e7d5823d30ecb118ef3efceb2f882da (patch) | |
| tree | d38d89392ead76a98ebdaebe4d77e351bb48eb9a /nongnu/packages/coq.scm | |
| parent | 4892d4a613073613ecb53b49ca1bcabf513fbd29 (diff) | |
nongnu: linux@5.15: Update to 5.15.57.
* nongnu/packages/linux.scm (linux-5.15): Update to 5.15.57.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions