summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorSimen Endsjø <contact@simendsjo.me>2025-04-03 22:42:20 +0200
committerHilton Chain <hako@ultrarare.space>2025-04-04 20:40:36 +0800
commitf886ab59beeae4ac09b08300f36df7c636a7e39b (patch)
treea1f466f70457545ba4c4578604b95ab2f0cf1a09 /nongnu/packages/coq.scm
parent4b9b3bafcb92849fdaa49a1e259d0933e36f4437 (diff)
nongnu: Add electron-34.
* nongnu/packages/electron.scm (electron-34): New variable. Signed-off-by: Hilton Chain <hako@ultrarare.space>
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions