diff options
| author | Leo Famulari <leo@famulari.name> | 2023-08-10 12:12:34 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2023-07-23 22:26:00 -0400 |
| commit | 16e2547df5774841c59941cbabda65a6cba1244b (patch) | |
| tree | 654c2f5994947ee595e1fb8edf8690b8f44bd886 /gnu/packages/patches/agda-categories-use-find.patch | |
| parent | bb7d40c1cd2eaa9256e7cbbc397aac4eb4a56230 (diff) | |
news: Add entry about the removal of linux-libre 6.3.
* etc/news.scm: Add entry.
Diffstat (limited to 'gnu/packages/patches/agda-categories-use-find.patch')
0 files changed, 0 insertions, 0 deletions