diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-01-07 14:26:36 +0100 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-01-07 14:26:36 +0100 |
| commit | 458fb69acf9e4f663776c896b32ad5be55068d17 (patch) | |
| tree | dadb98a9dcb729d55b1cfd25820ab58554cf2042 /nongnu/packages/coq.scm | |
| parent | 052fc2704053088403601ecb26f1b1f9822a328f (diff) | |
nongnu: linux@5.10: Update to 5.10.90.
* nongnu/packages/linux.scm (linux-5.10): Update to 5.10.90.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions