From 464cfa10511ea4774c13f668bec1235ac1bf6252 Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Fri, 8 Aug 2025 17:48:03 +0200
Subject: [PATCH] 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>
---
 gnu/packages/emacs-xyz.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index ca4feff38320195371c5100e5c1f0ca871839dbb..e77c4d79eb41f9e1d8226199db2ce17c238c935a 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -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