summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2022-05-09 21:57:20 -0400
committerLeo Famulari <leo@famulari.name>2022-05-11 20:29:49 -0400
commitb33ebc22fb2bb578c8150398538884439f36dfde (patch)
tree47710836fe18eae1e0ca514a411b9badb5b4250b /gnu/packages/agda.scm
parent2d7264721e75ce25925febba00fdb29a1e38bc83 (diff)
downloadguix-patches-b33ebc22fb2bb578c8150398538884439f36dfde.tar
guix-patches-b33ebc22fb2bb578c8150398538884439f36dfde.tar.gz
gnu: linux-libre 5.4: Update to 5.4.192.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.192. (linux-libre-5.4-pristine-source, deblob-scripts-5.4): Update hashes.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions