summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorVincent Legoll <vincent.legoll@gmail.com>2020-02-29 00:19:01 +0100
committerJakub Kądziołka <kuba@kadziolka.net>2020-03-03 17:22:18 +0100
commitc06c7a3aec38471dae3fb88f64558921003b2590 (patch)
treedbe3b8ff38c926d56e4b245f22e257a21f4450ed /gnu/packages/coq.scm
parent7dffb5bacea543e983de16b6d746159602acd6d3 (diff)
downloadguix-c06c7a3aec38471dae3fb88f64558921003b2590.tar.gz
gnu: linux: Add lsscsi.
* gnu/packages/linux.scm (lsscsi): New variable.

Signed-off-by: Jakub Kądziołka <kuba@kadziolka.net>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions