diff options
| author | Leo Famulari <[email protected]> | 2023-04-20 17:57:22 -0400 |
|---|---|---|
| committer | Leo Famulari <[email protected]> | 2023-04-20 23:45:12 -0400 |
| commit | 930f3fc86ec2feaf4cd4462204cf7d8fda3358f1 (patch) | |
| tree | c790505cbc61fbf41f6bf6756e842be59d9f673d /gnu/packages/agda.scm | |
| parent | bdca6a49e76dadba73dfb33d02128b64b52775b6 (diff) | |
gnu: linux-libre 6.1: Update to 6.1.25.
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.25.
(linux-libre-6.1-pristine-source): Update hash.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions