summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorOleg Pykhalov <go.wigust@gmail.com>2019-07-09 14:41:07 +0300
committerOleg Pykhalov <go.wigust@gmail.com>2019-07-09 14:42:22 +0300
commit534ceb7de11651abc89d82d80ee494ae8720ab67 (patch)
tree061b5ff6394fa759a192574ec254be3708718a8a /gnu/packages/coq.scm
parent48182cff03530ef6ad4add2a793bd3978ae5ae1b (diff)
gnu: emacs-stumpwm-mode: Update to 0.0.1-1.8fbe071.
* gnu/packages/emacs-xyz.scm (emacs-stumpwm-mode): Update to 0.0.1-1.8fbe071.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions