emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#49130: closed ([PATCH] gnu: ocaml-menhir: Update to 20210419.)


From: GNU bug Tracking System
Subject: bug#49130: closed ([PATCH] gnu: ocaml-menhir: Update to 20210419.)
Date: Sun, 20 Jun 2021 11:16:01 +0000

Your message dated Sun, 20 Jun 2021 13:15:03 +0200
with message-id <20210620131503.45620587@tachikoma.lepiller.eu>
and subject line Re: [bug#49130] [PATCH] gnu: ocaml-menhir: Update to 20210419.
has caused the debbugs.gnu.org bug report #49130,
regarding [PATCH] gnu: ocaml-menhir: Update to 20210419.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
49130: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=49130
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH] gnu: ocaml-menhir: Update to 20210419. Date: Sun, 20 Jun 2021 12:41:52 +0200
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20210419.
---
 gnu/packages/ocaml.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 4e0c6458b6..a49ee8370b 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1030,7 +1030,7 @@ Emacs.")
 (define-public ocaml-menhir
   (package
     (name "ocaml-menhir")
-    (version "20200211")
+    (version "20210419")
     (source
      (origin
        (method git-fetch)
@@ -1039,7 +1039,7 @@ Emacs.")
              (commit version)))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "019izf51kdc7pzkw68zg8a2alc8lxw1gwdp7in970mr90n16b5zj"))))
+        (base32 "0jcbr7s3iwfr7xxfybs3h407g76yfp5yq5r9i0wg2ahvvbqh03ky"))))
     (build-system dune-build-system)
     (inputs
      `(("ocaml" ,ocaml)))

base-commit: 7ab6907448002d7049f01f320300a9daa2388e69
-- 
2.32.0





--- End Message ---
--- Begin Message --- Subject: Re: [bug#49130] [PATCH] gnu: ocaml-menhir: Update to 20210419. Date: Sun, 20 Jun 2021 13:15:03 +0200
Pushed as 0bfafa49fa387c6a58f79178fc6344b2ce0bf02d, thanks!


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]