summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorpinoaffe <pinoaffe@gmail.com>2021-11-14 02:15:48 +0100
committerRicardo Wurmus <rekado@elephly.net>2021-11-22 17:29:42 +0100
commit3d2e41adf2d907311035d60557168696aaeeb381 (patch)
treeb2a9412246b2953eee6994e1d8bb04c9a7adf0e0 /gnu/packages/coq.scm
parent4df826f3404b469b88b9f234102bab973bf6c48a (diff)
downloadguix-patches-3d2e41adf2d907311035d60557168696aaeeb381.tar
guix-patches-3d2e41adf2d907311035d60557168696aaeeb381.tar.gz
gnu: emacs-ryo-modal: Update to 0.45.
* gnu/packages/emacs-xyz.scm (emacs-ryo-modal): Update to 0.45. Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions