aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2021-02-02 22:51:31 +0100
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-02-02 22:51:31 +0100
commitc1e7ae444a77aa5cc78a715f78843ccd178c9d6b (patch)
tree9e1d7b2a876289081f4fc15a27f88c10013c4993 /gnu/packages/lean.scm
parent95aca2991bbc622c7b07c2f404681dde60fd830d (diff)
downloadguix-c1e7ae444a77aa5cc78a715f78843ccd178c9d6b.tar.gz
guix-c1e7ae444a77aa5cc78a715f78843ccd178c9d6b.zip
gnu: emacs-elfeed: Update to 3.4.0.
* gnu/packages/emacs-xyz.scm (emacs-elfeed): Update to 3.4.0.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions