aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2024-09-15 10:37:25 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2024-09-15 10:47:49 +0200
commit7b1bdf68c8f422f88e1ad8e447aad329e059945f (patch)
tree71e8462261f59711453a274bfd7d1859c00df809 /gnu/packages/lean.scm
parentf8d3a33b818789b3086f0df6a962f7752c4b04c0 (diff)
downloadguix-7b1bdf68c8f422f88e1ad8e447aad329e059945f.tar
guix-7b1bdf68c8f422f88e1ad8e447aad329e059945f.tar.gz
gnu: emacs-rec-mode: Update to 1.9.4.
* gnu/packages/databases.scm (emacs-rec-mode): Update to 1.9.4. Change-Id: Ie0ceea0c9953e4eefb5599c4cf7fa94ecd9ae081
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions