summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2022-09-20 21:18:00 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2022-09-20 21:22:06 +0200
commit62911821a1e6464e5472fdbcae9878e315df0d76 (patch)
treee9c5cf22ef34b4917df5d7749842d4618eacfecf /gnu/packages/coq.scm
parent90a73f65698a1dba86d21aee773cce01f05c3f03 (diff)
gnu: emacs-boxquote: Update to 2.3.
* gnu/packages/emacs-xyz.scm (emacs-boxquote): Update to 2.3.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions