summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorHilton Chain <hako@ultrarare.space>2026-03-23 01:51:32 +0800
committerHilton Chain <hako@ultrarare.space>2026-04-03 16:57:36 +0800
commit915336dc2f6c8681f2fc6a473d2ccc4d6c629b6e (patch)
tree86b642921caed0ddc1365746ece0bd08bfbb19af /nongnu/packages/coq.scm
parent546063b5c08bd17723a7b58a26ff10c71459f76e (diff)
nongnu: Add nvidia-source-590-x86_64-linux.
* nongnu/packages/nvidia.scm (nvidia-source-590-x86_64-linux): New variable.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions