[PATCH 6/9] gnu: ocaml-menhir: Update to 20231231.

  • Done
  • quality assurance status badge
Details
One participant
  • Arnaud Daby-Seesaram
Owner
unassigned
Submitted by
Arnaud Daby-Seesaram
Severity
normal

Debbugs page

Arnaud Daby-Seesaram wrote 12 months ago
(address . guix-patches@gnu.org)(name . Arnaud Daby-Seesaram)(address . ds-ac@nanein.fr)
a4813d08101125acf35612b1a590d815908a2096.1710683827.git.ds-ac@nanein.fr
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20231231.

Change-Id: Ie3af9336d1a75cd70a670e1dd8b8f6ab575992a7
---
gnu/packages/ocaml.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)

Toggle diff (24 lines)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 861c0e6caa..cfb9dbf64c 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1357,7 +1357,7 @@ (define-public emacs-tuareg
(define-public ocaml-menhir
(package
(name "ocaml-menhir")
- (version "20220210")
+ (version "20231231")
(source
(origin
(method git-fetch)
@@ -1366,7 +1366,7 @@ (define-public ocaml-menhir
(commit version)))
(file-name (git-file-name name version))
(sha256
- (base32 "0f31isr3cyiishflz6qr4xc3gp9xwf32r3vxdvm5wnr2my1fnn1n"))))
+ (base32 "12a1zxbkipa2i0k7ay0frfzyibpdvh3hr0rcq18kgsp924wp9q5x"))))
(build-system dune-build-system)
(inputs
(list ocaml))
--
2.41.0
Arnaud Daby-Seesaram wrote 12 months ago
Re: bug#69855: Acknowledgement ([PATCH 6/9] gnu: ocaml-menhir: Update to 20231231.)
(address . 69855-done@debbugs.gnu.org)
87v85kncbf.fsf@nanein.fr
Apologies, this issue was opened by mistake, closing.
--
Arnaud
-----BEGIN PGP SIGNATURE-----

iQJEBAEBCgAuFiEEMgqfJ4U0fby1t860ojLKXoMTiAwFAmX3AuQQHGRzLWFjQG5h
bmVpbi5mcgAKCRCiMspegxOIDI7zEACX1pmHT1cF1KS3KEoyYUBuwAkegYlJUwN0
JW2779aBsag5jHJfAGfoQNml1FJKhMue9w45RXCSZy4aRGV3CZznGYsv0KEqLy93
tqGbxWfZ4TPY647GEjgrPmA0OGBttu42EauZfU1c8ecncee7Zq+a458VNQ1VZijZ
W/vHiiAFnPp27selI35uHe+MQTC3OopFHHkpqOb/OH8dtGIl9GdMcLP2RNN8TvdM
mY2WQqh3Dio6Xv0TF3n5u0clEFw24Rgph9BPa/K1c0ejvs6ux9pIVF4SA00CludR
GUqcP9jNs8iD2abgAlRep2Bmj4NqLBeEj2+07HatdOeVbbygw1u0kfIyBPLx6KEG
I9Lb6c+zKXI+yfnWKlDYXSTNKMqvTwmn3SyufKB4XBgxdXEGzXufM1yKy34QmAgX
jkYUy7bNzrBnB7TqNsqpZgRQXIM5B1+0ohbi8Q4JY5/nNzXky+qY/wgQOOfZqfPn
AnodqW4puE7nxGTnNQMiDyD6HRUa6yiUU9qpUllgbbGEEVeaVSYywghwvGwCqhuK
HxD/4hB7/IER2HNLM4pjDv2cyr8gJGnjKP+SM/9o69dPSDV9zo+wXvYVxDyNKaSE
bZAL3eVcoMgBadDWjorBanJBpvEuLbTmq5m5UV3JJ/OPgjwrLLcMzpRNAkocfoYM
aqWLjTLjUA==
=348u
-----END PGP SIGNATURE-----

Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 69855@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 69855
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help