bug#64249: closed ([PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1.)

[GNU bug Tracking System]

Your message dated Thu, 8 Feb 2024 23:27:02 +0100
with message-id <20240208232702.5a1ee4bf@lepiller.eu>
and subject line Re: [bug#64249] [PATCH v9 34/34] gnu: opam: Update to 2.1.5.
has caused the debbugs.gnu.org bug report #64249,
regarding [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1.
to be marked as done.

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


-- 
64249: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64249
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1.
>
>
>
>
> Date: 
>
> Fri, 23 Jun 2023 13:43:38 +0000
>
>
>
>
> * gnu/packages/ocaml.scm (ocaml): Update to 4.14.1.
> ---
>  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 ab0aa0574a..6ffde41cc0 100644
> --- a/gnu/packages/ocaml.scm
> +++ b/gnu/packages/ocaml.scm
> @@ -253,7 +253,7 @@ (define-public ocaml-5.0
>  (define-public ocaml-4.14
>    (package
>      (name "ocaml")
> -    (version "4.14.0")
> +    (version "4.14.1")
>      (source (origin
>                (method url-fetch)
>                (uri (string-append
> @@ -262,7 +262,7 @@ (define-public ocaml-4.14
>                      "/ocaml-" version ".tar.xz"))
>                (sha256
>                 (base32
> -                "0axcc7c23pf4qinz4vxgkba6pwziwbp9i2ydwzar7x9zlp6diarn"))))
> +                "0vxvwxxycpc3r5p7ys59d86vw5vdr2lhmck1f3s6qms2096rf9y1"))))
>      (build-system gnu-build-system)
>      (native-search-paths
>       (list (search-path-specification
>
> base-commit: 6e1215fb9c03ccb4a2d4440990aee5a66a935268
> -- 
> 2.40.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#64249] [PATCH v9 34/34] gnu: opam: Update to 2.1.5.
>
>
>
>
> Date: 
>
> Thu, 8 Feb 2024 23:27:02 +0100
>
>
>
>
> Finally pushed to master as fe0c13b1f9f8546525d7e7380fae9d409aebe269 to
> 01ee39cfee10583402e9fc252ca5c0e8232435db !
>
> Thanks to everyone involved :)
>
>
> --- End Message ---