aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2023-12-16 12:29:51 +0100
committerLudovic Courtès <ludo@gnu.org>2024-08-31 10:42:49 +0200
commit6538474df71c8526ea8a50fcce69bfb155fe60a6 (patch)
tree050ed5ea45cdf73d44ffda64f05904960d80f3b0 /gnu/packages/agda.scm
parent6a554dbc0d6b7850e7e4a22645908ed72662d862 (diff)
downloadguix-6538474df71c8526ea8a50fcce69bfb155fe60a6.tar
guix-6538474df71c8526ea8a50fcce69bfb155fe60a6.tar.gz
gnu: glibc: Add patch for ‘ucontext’ on x86_64-gnu (GNU/Hurd).
Suggested by Sergey Bugaev. * gnu/packages/patches/glibc-2.38-hurd-ucontext.patch: New file. * gnu/packages/base.scm (glibc)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Add it. Change-Id: Ib74e93f2414eda2ec4b3e01fc2bb67b02838fabb
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions