summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2021-06-06 16:15:29 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2021-06-06 16:19:52 +0200
commitdb6ff6da1588a84bdc02dfc8eccd59a885b46fde (patch)
treeb827568c9c20287e6137fec9e50113d570c5e635 /gnu/packages/coq.scm
parentb6affc5c0466e801224db4400bb62ccc26cd5346 (diff)
downloadguix-db6ff6da1588a84bdc02dfc8eccd59a885b46fde.tar.gz
gnu: xf86-input-libinput: Fix licence information.
* gnu/packages/xorg.scm (xf86-input-libinput)[license]: This package is
almost exclusively expat, with a single x11 file that's not installed.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions