aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorHartmut Goebel <h.goebel@crazy-compilers.com>2019-12-08 18:09:36 +0100
committerHartmut Goebel <h.goebel@crazy-compilers.com>2019-12-26 16:44:53 +0100
commit6f936d8740be88098d5fd36524ce56a24d697560 (patch)
tree3273d992ac92b71e877d9ffbd0c8785dafd2a47f /gnu/packages/coq.scm
parentca632dc175c085316749d1605acf9719c8f6085e (diff)
downloadguix-6f936d8740be88098d5fd36524ce56a24d697560.tar
guix-6f936d8740be88098d5fd36524ce56a24d697560.tar.gz
gnu: Add libkcompactdisc.
* gnu/packages/kde-multimedia.scm (libkcompactdisc): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions