diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2022-12-16 18:32:49 +0100 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2022-12-16 18:34:18 +0100 |
| commit | c193b5203b31246a6d74270c8086c45851561947 (patch) | |
| tree | 36902aaef3570f9d343e087c7711ef77c1f24a2a /gnu/packages/coq.scm | |
| parent | fb9ddff29ebafc13389c9a2975006b42748fc580 (diff) | |
gnu: emacs-prescient: Update to 6.1.
* gnu/packages/emacs-xyz.scm (emacs-prescient): Update to 6.1.
[propagated-inputs]: Add EMACS-CORFU and EMACS-VERTICO.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions