summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorMurilo <murilo@disroot.org>2025-07-16 08:56:24 -0300
committerHilton Chain <hako@ultrarare.space>2025-08-13 00:29:12 +0800
commit2ffd70556344de92436fc78abd149be7645b00b3 (patch)
tree977f8ac03e32172565fdb2f7759c284b53e02de5 /nongnu/packages/coq.scm
parentefd99aee92923256bab1fdc67329b0059cf4caa2 (diff)
nongnu: nonguix-extra-linux-options: Add CONFIG_DRM_AMDGPU_SI=y.
* nongnu/packages/linux.scm (nonguix-extra-linux-options) [3.10]: Add CONFIG_DRM_AMDGPU_SI=y. Signed-off-by: Hilton Chain <hako@ultrarare.space>
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions