all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: pukkamustard <pukkamustard@posteo.net>
To: 64249@debbugs.gnu.org
Cc: pukkamustard <pukkamustard@posteo.net>,
	Julien Lepiller <julien@lepiller.eu>,
	pukkamustard <pukkamustard@posteo.net>
Subject: [bug#64249] [PATCH ocaml-team v5 01/12] gnu: ocaml: Update to 4.14.1.
Date: Sun,  6 Aug 2023 15:20:20 +0000	[thread overview]
Message-ID: <ccfc0a14ebd75f8c509076c9140bc1c3ce22993e.1691335142.git.pukkamustard@posteo.net> (raw)
In-Reply-To: <a06ca6a604f420b4c6a994e4475ab078d1c9c386.1687527699.git.pukkamustard@posteo.net>

* 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 8ff755aea9..56661b1977 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: c4b9f726e3a1889b92a4b14a2af1c25f10798469
-- 
2.41.0





  parent reply	other threads:[~2023-08-06 15:38 UTC|newest]

Thread overview: 149+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-06-23 13:43 [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-06-23 13:46 ` [bug#64249] [PATCH ocaml-team 2/2] gnu: dune-bootstrap: Update to 3.8.2 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 0/7] Attempt to update ocaml, coq, dune and opam pukkamustard
2023-07-15 17:38   ` [bug#64249] [PATCH ocaml-team v2 1/7] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-07-15 17:38   ` [bug#64249] [PATCH ocaml-team v2 2/7] gnu: coq: Update to 8.17.1 pukkamustard
2023-07-15 17:38   ` [bug#64249] [PATCH ocaml-team v2 3/7] gnu: dune-bootstrap: Update to 3.9.1 pukkamustard
2023-07-15 17:38   ` [bug#64249] [PATCH ocaml-team v2 4/7] gnu: ocaml-graph: Update to 2.0.0 pukkamustard
2023-07-15 17:38   ` [bug#64249] [PATCH ocaml-team v2 5/7] gnu: ocaml-base64: Update to 3.5.1 pukkamustard
2023-07-15 17:38   ` [bug#64249] [PATCH ocaml-team v2 6/7] gnu: ocaml-dose3: Update to 7.0.0 pukkamustard
2023-07-15 17:38   ` [bug#64249] [PATCH ocaml-team v2 7/7] WIP: gnu: opam: Update to 2.1.5 pukkamustard
2023-07-18 11:46   ` [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 Ludovic Courtès
2023-07-18 12:05     ` pukkamustard
2023-07-18 12:23 ` [bug#64249] [PATCH ocaml-team v3 0/6] Update and break opam (but nothing else) pukkamustard
2023-07-18 12:23   ` [bug#64249] [PATCH ocaml-team v3 1/6] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-07-18 12:23   ` [bug#64249] [PATCH ocaml-team v3 2/6] gnu: coq: Update to 8.17.1 pukkamustard
2023-07-19 18:18     ` Julien Lepiller
2023-07-24 14:54       ` pukkamustard
2023-07-24 15:22         ` Julien Lepiller
2023-07-18 12:24   ` [bug#64249] [PATCH ocaml-team v3 3/6] gnu: dune-bootstrap: Update to 3.9.1 pukkamustard
2023-07-18 12:24   ` [bug#64249] [PATCH ocaml-team v3 4/6] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-07-18 12:24   ` [bug#64249] [PATCH ocaml-team v3 5/6] gnu: Add opam-installer pukkamustard
2023-07-18 12:24   ` [bug#64249] [PATCH ocaml-team v3 6/6] FIXME: gnu: opam: Update to 2.1.5 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 0/9] pukkamustard
2023-07-28 11:08   ` [bug#64249] [PATCH ocaml-team v4 1/9] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-07-28 11:08   ` [bug#64249] [PATCH ocaml-team v4 2/9] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-07-28 11:08   ` [bug#64249] [PATCH ocaml-team v4 3/9] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-07-28 11:08   ` [bug#64249] [PATCH ocaml-team v4 4/9] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-07-28 11:08   ` [bug#64249] [PATCH ocaml-team v4 5/9] gnu: coq: Update to 8.17.1 pukkamustard
2023-07-28 11:08   ` [bug#64249] [PATCH ocaml-team v4 6/9] gnu: dune-bootstrap: Update to 3.9.1 pukkamustard
2023-07-28 11:08   ` [bug#64249] [PATCH ocaml-team v4 7/9] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-07-28 11:08   ` [bug#64249] [PATCH ocaml-team v4 8/9] gnu: Add opam-installer pukkamustard
2023-07-28 11:08   ` [bug#64249] [PATCH ocaml-team v4 9/9] FIXME: gnu: opam: Update to 2.1.5 pukkamustard
2023-07-30 17:42   ` [bug#64249] [PATCH ocaml-team v4 0/9] Julien Lepiller
2023-08-06 14:09     ` pukkamustard
2023-10-29  9:24       ` DABY-SEESARAM Arnaud via Guix-patches via
2023-11-03 11:11         ` pukkamustard
2024-02-08 20:05           ` Arnaud Daby-Seesaram via Guix-patches via
2023-08-06 15:20 ` pukkamustard [this message]
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 02/12] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 03/12] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 04/12] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 05/12] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 06/12] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 07/12] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 08/12] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 09/12] gnu: coq: Update to 8.17.1 pukkamustard
2023-08-17 19:08     ` Julien Lepiller
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 10/12] gnu: dune-bootstrap: Update to 3.10.0 pukkamustard
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 11/12] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-08-06 15:20   ` [bug#64249] [PATCH ocaml-team v5 12/12] FIXME: gnu: opam: Update to 2.1.5 pukkamustard
2023-08-17 20:54     ` Julien Lepiller
2023-08-15 21:25   ` [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 Ludovic Courtès
2023-09-12  6:56 ` [bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works pukkamustard
2023-09-12  6:56   ` [bug#64249] [PATCH ocaml-team v6 01/12] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-09-12  6:56   ` [bug#64249] [PATCH ocaml-team v6 02/12] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-09-12  6:56   ` [bug#64249] [PATCH ocaml-team v6 03/12] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-09-12  6:56   ` [bug#64249] [PATCH ocaml-team v6 04/12] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-09-12  6:56   ` [bug#64249] [PATCH ocaml-team v6 05/12] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-09-12  6:56   ` [bug#64249] [PATCH ocaml-team v6 06/12] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-09-12  6:56   ` [bug#64249] [PATCH ocaml-team v6 07/12] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-09-12  6:56   ` [bug#64249] [PATCH ocaml-team v6 08/12] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-09-12  6:56   ` [bug#64249] [PATCH ocaml-team v6 09/12] gnu: coq: Update to 8.17.1 pukkamustard
2023-09-12 11:31     ` [bug#64249] [PATCH] fixup! " Josselin Poiret via Guix-patches via
2023-09-20  6:43       ` pukkamustard
2023-09-12  6:57   ` [bug#64249] [PATCH ocaml-team v6 10/12] gnu: dune-bootstrap: Update to 3.10.0 pukkamustard
2023-09-12  6:57   ` [bug#64249] [PATCH ocaml-team v6 11/12] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-09-12  6:57   ` [bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5 pukkamustard
2023-09-22 14:21     ` [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 Simon Tournier
2023-09-22 19:48     ` [bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5 Julien Lepiller
2023-09-26  9:34       ` Julien Lepiller
2023-09-28 20:11         ` Julien Lepiller
2023-10-12  9:18       ` [bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works pukkamustard
2023-10-12 10:24         ` Julien Lepiller
2023-10-24 16:00 ` [bug#64249] [PATCH v7 00/12] gnu: ocaml: Update to 4.14.1 - The one for CI pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 01/12] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 02/12] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 03/12] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 04/12] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 05/12] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 06/12] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 07/12] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 08/12] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 09/12] gnu: coq: Update to 8.17.1 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 10/12] gnu: dune-bootstrap: Update to 3.11.0 pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 11/12] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-10-24 16:00   ` [bug#64249] [PATCH v7 12/12] gnu: opam: Update to 2.1.5 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 01/13] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 02/13] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 03/13] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 04/13] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 05/13] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 06/13] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 07/13] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 08/13] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 09/13] gnu: coq: Update to 8.17.1 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 10/13] gnu: dune-bootstrap: Update to 3.11.0 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 11/13] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 12/13] gnu: ocaml-opam-file-format: Update to 2.1.6 pukkamustard
2023-11-03 11:50   ` [bug#64249] [PATCH v8 13/13] gnu: opam: Update to 2.1.5 pukkamustard
2023-11-08 19:14     ` DABY-SEESARAM Arnaud via Guix-patches via
2023-12-23 17:53 ` [bug#64249] OCaml-related updates Arnaud Daby-Seesaram via Guix-patches via
2023-12-24 13:07   ` Julien Lepiller
2023-12-24 16:43     ` [bug#64249] [PATCH 0/9] Fix frama-c ds-ac--- via Guix-patches via
2024-01-10  7:34       ` Julien Lepiller
2023-12-24 16:43     ` [bug#64249] [PATCH 1/9] gnu: why3: Update to 1.6.0 ds-ac--- via Guix-patches via
2023-12-24 16:43     ` [bug#64249] [PATCH 2/9] gnu: Add ocaml-ppx-deriving-yojson ds-ac--- via Guix-patches via
2023-12-24 16:43     ` [bug#64249] [PATCH 3/9] gnu: Add ocaml-junit ds-ac--- via Guix-patches via
2023-12-24 16:43     ` [bug#64249] [PATCH 4/9] gnu: Add ocaml-junit-alcotest ds-ac--- via Guix-patches via
2023-12-24 16:43     ` [bug#64249] [PATCH 5/9] gnu: Add ocaml-yaml ds-ac--- via Guix-patches via
2023-12-24 16:43     ` [bug#64249] [PATCH 6/9] gnu: Add ocaml-ppx-deriving-yaml ds-ac--- via Guix-patches via
2023-12-24 16:43     ` [bug#64249] [PATCH 7/9] gnu: Add ocaml-ppx-import ds-ac--- via Guix-patches via
2023-12-24 16:43     ` [bug#64249] [PATCH 8/9] gnu: Add ocaml-dune-site ds-ac--- via Guix-patches via
2023-12-24 16:43     ` [bug#64249] [PATCH 9/9] gnu: update frama-c to 27.1-Cobalt ds-ac--- via Guix-patches via
2024-01-10  7:43 ` [bug#64249] [PATCH v9 01/34] gnu: ocaml: Update to 4.14.1 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 02/34] gnu: Update coq-flocq to 4.1.1 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 03/34] gnu: Update coq-gappa to 1.5.3 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 04/34] gnu: Update coq-coquelicot to 3.4.0 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 05/34] gnu: Update coq-mathcomp to 1.17.0 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 06/34] gnu: Update coq-autosubst to 1.8 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 07/34] gnu: Update coq-stdpp to 1.8.0 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 08/34] gnu: Update coq-interval to 4.8.0 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 09/34] gnu: coq: Update to 8.17.1 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 10/34] gnu: dune-bootstrap: Update to 3.11.0 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 11/34] gnu: opam: Split build into smaller sub-packages Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 12/34] gnu: ocaml-alcotest: Update to 1.7.0 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 13/34] gnu: ocaml-sexplib: Update to 0.16.0 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 14/34] gnu: ocaml-ppxlib: Update to 0.28 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 15/34] gnu: Add ocaml-ppx-stable-witness Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 16/34] gnu: ocaml-bin-prot: Update to 0.16.0 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 17/34] gnu: ocaml-ppx-bin-prot: " Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 18/34] gnu: ocaml-jst-config: " Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 19/34] gnu: ocaml-ppx-bench: " Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 20/34] gnu: Add ocaml-ppx-deriving-yojson Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 21/34] gnu: Add ocaml-junit Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 22/34] gnu: Add ocaml-junit-alcotest Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 23/34] gnu: Add ocaml-yaml Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 24/34] gnu: Add ocaml-ppx-deriving-yaml Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 25/34] gnu: Add ocaml-ppx-import Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 26/34] gnu: Add ocaml-pp Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 27/34] gnu: Add dune-ordering Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 28/34] gnu: Add dune-dyn Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 29/34] gnu: Add dune-stdune Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 30/34] gnu: Add dune-private-libs Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 31/34] gnu: Add dune-site Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 32/34] gnu: frama-c: Update to 27.1 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 33/34] gnu: ocaml-base64: Update to 3.5.1 Julien Lepiller
2024-01-10  7:43   ` [bug#64249] [PATCH v9 34/34] gnu: opam: Update to 2.1.5 Julien Lepiller
2024-02-08 22:27     ` bug#64249: " Julien Lepiller
2024-01-28 14:54 ` [bug#64249] Gentle ping ds-ac via Guix-patches via

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=ccfc0a14ebd75f8c509076c9140bc1c3ce22993e.1691335142.git.pukkamustard@posteo.net \
    --to=pukkamustard@posteo.net \
    --cc=64249@debbugs.gnu.org \
    --cc=julien@lepiller.eu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.