summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorLars-Dominik Braun <lars@6xq.net>2020-06-27 15:08:02 +0200
committerLudovic Courtès <ludo@gnu.org>2020-07-13 12:52:52 +0200
commit339184f1d04ff30036a4c472e281e8d08988786e (patch)
tree92eb3e1798be2cd8d82b0afa2b106f9a5376efb1 /gnu/packages/agda.scm
parent13910d401285293ad6b6562bab43ec00de4f54b0 (diff)
downloadguix-339184f1d04ff30036a4c472e281e8d08988786e.tar.gz
gnu: Add xf86-video-dummy.
* gnu/packages/xorg.scm (xf86-video-dummy): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions