diff options
| author | Leo Famulari <leo@famulari.name> | 2020-12-30 15:41:05 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2020-12-30 22:15:47 -0500 |
| commit | c6a201bef34deb5153bcab90f7ee3bcc67c5f305 (patch) | |
| tree | 50782df4f2e9238f2ef6fbd2349ca4d95b35f689 /gnu/packages/agda.scm | |
| parent | 19a5ca839d188c6948e30454b22934c48684c03a (diff) | |
| download | guix-c6a201bef34deb5153bcab90f7ee3bcc67c5f305.tar.gz guix-c6a201bef34deb5153bcab90f7ee3bcc67c5f305.zip | |
gnu: linux-libre 4.19: Update to 4.19.164.
* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.164.
(linux-libre-4.19-pristine-source): Update hash.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions