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 1/2] gnu: ocaml: Update to 4.14.1.
Date: Fri, 23 Jun 2023 13:43:38 +0000 [thread overview]
Message-ID: <a06ca6a604f420b4c6a994e4475ab078d1c9c386.1687527699.git.pukkamustard@posteo.net> (raw)
* 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
next reply other threads:[~2023-06-23 13:45 UTC|newest]
Thread overview: 149+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-23 13:43 pukkamustard [this message]
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 ` [bug#64249] [PATCH ocaml-team v5 01/12] gnu: ocaml: Update to 4.14.1 pukkamustard
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
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=a06ca6a604f420b4c6a994e4475ab078d1c9c386.1687527699.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 public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).