summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorHilton Chain <hako@ultrarare.space>2025-02-25 05:51:48 +0800
committerHilton Chain <hako@ultrarare.space>2025-02-28 08:28:41 +0800
commit1a3acd8e726b35dcc39bf9c306385114993ad8bb (patch)
tree6f18c9ece337e4780698fb3ecbad5d8d87bf52da /nongnu/packages/coq.scm
parent8c41304decb916892fa07ca86893e4cf926ee884 (diff)
nongnu: Add nvidia-vaapi-driver.
* nongnu/packages/video.scm (nvidia-vaapi-driver): New variable.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions