aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2021-12-22 12:27:47 -0500
committerLeo Famulari <leo@famulari.name>2021-12-23 12:35:10 -0500
commitc9ea9506bbe021ef91dcfead5b1b9a94063819bb (patch)
tree1c3c2a9a33e4d988f7562d705deb335d03b14060 /gnu/packages/agda.scm
parentd6d81aba54e7b17bd21fcde4873704f7ec768977 (diff)
downloadguix-c9ea9506bbe021ef91dcfead5b1b9a94063819bb.tar
guix-c9ea9506bbe021ef91dcfead5b1b9a94063819bb.tar.gz
gnu: linux-libre 5.4: Update to 5.4.168.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.168. (linux-libre-5.4-pristine-source): Update hash.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions