diff options
| author | John Kehayias <john.kehayias@protonmail.com> | 2022-08-19 12:09:37 -0400 |
|---|---|---|
| committer | John Kehayias <john.kehayias@protonmail.com> | 2022-08-19 12:09:37 -0400 |
| commit | bbb42220f50fd3ef83b00a0cb6c4bdf118f73959 (patch) | |
| tree | 6380cb4f7553629ebb7467eefae68ccf98326d1b /nongnu/packages/coq.scm | |
| parent | b8724aca8c35000fdf0ac2311178c04be9e0417d (diff) | |
nongnu: linux@5.15: Update to 5.15.61.
* nongnu/packages/linux.scm (linux-5.15): Update to 5.15.61.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions