~ruther/guix-local

464cfa10511ea4774c13f668bec1235ac1bf6252 — Cayetano Santos 11 months ago 69defcd
gnu: emacs-lem: Update to 0.24.

* gnu/packages/emacs-xyz.scm (emacs-lem): Update to 0.24.

Change-Id: I22fe3ddc7d3c36c49b0bd9ea8e0fa413a8954cc1
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
1 files changed, 2 insertions(+), 2 deletions(-)

M gnu/packages/emacs-xyz.scm
M gnu/packages/emacs-xyz.scm => gnu/packages/emacs-xyz.scm +2 -2
@@ 3439,7 3439,7 @@ prover, version 4.")
(define-public emacs-lem
  (package
    (name "emacs-lem")
    (version "0.23")
    (version "0.24")
    (source
     (origin
       (method git-fetch)


@@ 3449,7 3449,7 @@ prover, version 4.")
       (file-name (git-file-name name version))
       (sha256
        (base32
         "0mi4s4zaq1dam6bnmxlyc22k0nh3wpgar8lwijd0fksylnwjzzwy"))))
         "181cibmv6da4rjr6p3nqpza6i7v4scc4qndznhyjb9nhbf3gsil4"))))
    (build-system emacs-build-system)
    (arguments
     (list