aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/patches/agda-use-sphinx-5.patch
diff options
context:
space:
mode:
authordan <i@dan.games>2024-03-28 11:54:50 +0800
committerJohn Kehayias <john.kehayias@protonmail.com>2024-04-01 01:06:10 -0400
commit083c9c010903ad42736e1fd000546042fbfafb1c (patch)
treeb95b6e152309a43df87ef23b65226738268cd410 /gnu/packages/patches/agda-use-sphinx-5.patch
parentaea7691fdd48ac529a5544312291e4422ec43274 (diff)
downloadguix-083c9c010903ad42736e1fd000546042fbfafb1c.tar.gz
guix-083c9c010903ad42736e1fd000546042fbfafb1c.zip
gnu: volk: Update to 1.3.280.0.
* gnu/packages/vulkan.scm (volk): Update to 1.3.280.0. Change-Id: I4f72df2ba6784f3dae93cf60361e1bceaf61d3bb Signed-off-by: John Kehayias <john.kehayias@protonmail.com>
Diffstat (limited to 'gnu/packages/patches/agda-use-sphinx-5.patch')
0 files changed, 0 insertions, 0 deletions
ss='msg-avail'>...Ludovic Courtès 2022-08-05guix system: Remove unused 'read-operating-system' procedure....Ludovic Courtès 2022-05-25Move (gnu platform) and (gnu platforms ...) to guix/....Josselin Poiret 2022-05-22ci: Do not rely on hardcoded cross-targets lists....Mathieu Othacehe