[PATCH 8/9] gnu: ocaml-monolith: Update to 20230604.

  • 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)
f428b3a5e9c98ca86bf0e2cddc54aeff116a58e5.1710683827.git.ds-ac@nanein.fr
* gnu/packages/ocaml.scm (ocaml-monolith): Update to 20230604.

Change-Id: Ib1777020d01b0eb461b27c418b742b93de38fb90
---
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 07e3bdbc2d..71e1d9119c 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -9159,7 +9159,7 @@ (define-public ocaml-afl-persistent
(define-public ocaml-monolith
(package
(name "ocaml-monolith")
- (version "20210525")
+ (version "20230604")
(source
(origin
(method git-fetch)
@@ -9169,7 +9169,7 @@ (define-public ocaml-monolith
(file-name (git-file-name name version))
(sha256
(base32
- "1b6jj4ivl9ni8kba7wls4xsqdy8nm7q9mnx9347jvb99dmmlj5mc"))))
+ "1v6hd67pzb23hadl6fybr1mihw7p79g2r1bf4gs1f2igyavw798h"))))
(build-system dune-build-system)
(propagated-inputs (list ocaml-afl-persistent ocaml-pprint ocaml-seq))
(home-page "https://gitlab.inria.fr/fpottier/monolith")
--
2.41.0
Arnaud Daby-Seesaram wrote 12 months ago
Re: bug#69854: Acknowledgement ([PATCH 8/9] gnu: ocaml-monolith: Update to 20230604.)
(address . 69854-done@debbugs.gnu.org)
87zfuwncbq.fsf@nanein.fr
Apologies, this issue was opened by mistake, closing.

--
Arnaud
-----BEGIN PGP SIGNATURE-----

iQJEBAEBCgAuFiEEMgqfJ4U0fby1t860ojLKXoMTiAwFAmX3AtkQHGRzLWFjQG5h
bmVpbi5mcgAKCRCiMspegxOIDChoD/9xga3Otw6GlZ2SGydQeE6jpm9DgBX89S6R
Up17fiFPoatRFhK4asw1GZLNmz0ILGr9upaWDBcLA2+rkd95dGQOBQhB6SFRmCbZ
e5pbAXIIv8QnC0gaJjSVQJ4ocA6x+qUx3+gK46gDAo1JfTFwJukAOH4AncLY5gei
KX1SasiSVC6ykphaYJUG0E1s32D0XB6inCWUZNPwSkeptkP6/Ce00hnzA4TA+c52
dFUqiGrpFDa7GICgzjfngAQEcwzDI1kkQO9qYFTZj/TBvMSpW8wNHPZVtNDxYnU+
VAsPE/P2HPCb0RqkLuKeEf5sqwkzQJhER9hayb1x/IbV89tIHiHar21E4bmXMgLD
UaBzlnYrpCGR9ZmZ5mqbp7o2kkjbQEAANCpbu4f3K302Azu0vQqM6AV8MyKy4M7Z
gaOjg2qcmylN2IcnKHfz7PuPhL7QXpm5TKBqTa6q/pTvrEOu8/hMLAan/jVtg4ph
PpwHaRJh+vjJiEphqzYNiYZDGveWFAHfnQ0j9ThbAu//xe9OtSL9bjGPrZ2QYR6y
MJTWJov33a9j9OoaZAeNlkUxuFdfWatMOjPtJ6B8MogXBE4oHds4EA5IzEcij5Ff
F4fcS1FT5wXKOMfTN5YjeSCfWG73Uow6mH5M2H8InwxfleLY47m3Js8KV53ERDQG
dCjrsX7zaQ==
=eg2l
-----END PGP SIGNATURE-----

Closed
?
Your comment

This issue is archived.

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

To respond to this issue using the mumi CLI, first switch to it
mumi current 69854
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