summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorDanny Milosavljevic <dannym@scratchpost.org>2020-09-07 12:54:16 +0200
committerDanny Milosavljevic <dannym@scratchpost.org>2020-09-07 12:54:53 +0200
commitaecb61135c2edba236318b61fd0ac81832852a15 (patch)
treec39c6f8c3beb8454103328140381abfaa4e81d12 /gnu/packages/coq.scm
parent52d5009ff56996ef2afd5d433a353779f16dbad8 (diff)
downloadguix-patches-aecb61135c2edba236318b61fd0ac81832852a15.tar
guix-patches-aecb61135c2edba236318b61fd0ac81832852a15.tar.gz
gnu: Add nbd.
* gnu/packages/networking.scm (nbd): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions