aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-02-12 20:20:54 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2019-02-13 05:42:57 +0100
commit90325cf7e205b7e3fbd8df978abbde095053c1e6 (patch)
tree39658b8c7ffda981fd60bb5a8e7a53531c283137 /gnu/packages/coq.scm
parentffbaa2564effa53663003c493b93683ceedafc94 (diff)
downloadguix-90325cf7e205b7e3fbd8df978abbde095053c1e6.tar
guix-90325cf7e205b7e3fbd8df978abbde095053c1e6.tar.gz
gnu: console-setup: Update to 1.189.
* gnu/packages/xorg.scm (console-setup): Update to 1.189.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions