From: Benjamin <benjamin@uvy.fr>
To: 66000@debbugs.gnu.org
Cc: Benjamin <benjamin@uvy.fr>, Julien Lepiller <julien@lepiller.eu>,
pukkamustard <pukkamustard@posteo.net>
Subject: [bug#66000] [PATCH 0/1] update dune to 3.10
Date: Fri, 15 Sep 2023 16:20:15 +0200 [thread overview]
Message-ID: <cover.1694787299.git.benjamin@uvy.fr> (raw)
Hello,
This patch update dune to version 3.10.
This will allow me to push a series of patch to bump eio to 0.12 (as it
depends on dune 3.9 [0]
I check the build of affected packages by running `guix build` on `guix
refresh -l dune`
By doing so, I discovered that it is not possible to build current coq
version with latest dune. That is the reason why I kept the current
version of dune for those packages.
[0] https://github.com/ocaml-multicore/eio/blob/v0.12/dune-project#L1
Benjamin (1):
gnu: dune-bootstrap: Update to 3.10.0.
gnu/packages/coq.scm | 3 +++
gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++--------
2 files changed, 26 insertions(+), 8 deletions(-)
base-commit: 69580997bd1b383659b990a5e1e46817e371fa8c
--
2.41.0
next reply other threads:[~2023-09-15 14:22 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-09-15 14:20 Benjamin [this message]
2023-09-15 14:23 ` [bug#66000] [PATCH 1/1] gnu: dune-bootstrap: Update to 3.10.0 Benjamin
2023-09-15 14:25 ` [bug#66000] [PATCH 0/1] update dune to 3.10 pukkamustard
2023-09-15 15:54 ` Benjamin
2023-09-15 16:49 ` bug#66000: " Simon Tournier
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=cover.1694787299.git.benjamin@uvy.fr \
--to=benjamin@uvy.fr \
--cc=66000@debbugs.gnu.org \
--cc=julien@lepiller.eu \
--cc=pukkamustard@posteo.net \
/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).