diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-10-27 00:33:16 +0200 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-10-27 00:33:16 +0200 |
| commit | 44c5d5989f53ec5384b3bf3f208d748b52abbee7 (patch) | |
| tree | 63bd17e158771d565e8b9fb24a8ce6676622fb23 /nongnu/packages/coq.scm | |
| parent | 2e43b1d9a7535650701831c224d5338433e37e3e (diff) | |
nongnu: linux@5.10: Update to 5.10.75.
* nongnu/packages/linux.scm (linux-5.10): Update to 5.10.75.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions