aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorHartmut Goebel <h.goebel@crazy-compilers.com>2019-12-06 21:21:53 +0100
committerHartmut Goebel <h.goebel@crazy-compilers.com>2019-12-26 16:44:53 +0100
commit2f9bb949cbabef908f66e8032219435896ddeb4e (patch)
treeddc3aae9241664460d9858c6a61811f201c3e05d /gnu/packages/coq.scm
parent22b26dd25794532b3c16761d7806ef9ba5c6c8fd (diff)
downloadguix-2f9bb949cbabef908f66e8032219435896ddeb4e.tar
guix-2f9bb949cbabef908f66e8032219435896ddeb4e.tar.gz
gnu: Add juk.
* gnu/packages/kde-multimedia.scm (juk): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions