summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorXinglu Chen <[email protected]>2021-04-28 21:40:30 +0200
committerNicolas Goaziou <[email protected]>2021-04-29 00:25:29 +0200
commit43684b19da6cc6c0a046214210d060aa77ede6b1 (patch)
treea6d0c9631f89fdcce3017493f9fde0bf635ba28b /gnu/packages/coq.scm
parent22b3dd559c8f8430df79ef2486358f35c4dd8ff2 (diff)
gnu: emacs-corfu: Update to 0.4.
* gnu/packages/emacs-xyz.scm (emacs-corfu): Update to 0.4. Signed-off-by: Nicolas Goaziou <[email protected]>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions