From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id eGP0FmC8J2VPhQAAauVa8A:P1 (envelope-from ) for ; Thu, 12 Oct 2023 11:29:04 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id eGP0FmC8J2VPhQAAauVa8A (envelope-from ) for ; Thu, 12 Oct 2023 11:29:04 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 05D7B5D00E for ; Thu, 12 Oct 2023 11:29:03 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=IVrji5pW; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1697102944; a=rsa-sha256; cv=none; b=RqhFXAazOWMlvYu7J3f2Z7IWrgDvlsXP8L2qEsK4FAiu2mgu9MarWjT+8+f9JPvlhA3zUG ZT5mqLS0zk/Arez8Lk46VLrIKZbEfj6+Xi29YDSfNmq1UCxxFlZhAQD23sl5knuA72qMh5 RRGWijv3fsVv5I9i+I+XsCpECD/Zci9GavO4CSIQXClWbeO//3DSRtKBEwPM3dxyDVe/uw ffdNvyU+GqRdG2LL7YhFKsv9sDHogtUnIarqcqOX6BmUBeBOs6iwhUvKYJNNhPZwpnDbqq 8bcrZ3DcmbA0skLT1S6knHedazbWDOSPCiRTZo6DT/dDbsMsRBiFdLKFAvr2XA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=IVrji5pW; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1697102944; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=GPgze/3ts9eiVcj1+FvOFgMrzkR5UmXDrlr4UZrM5R4=; b=tuWoqnQYIs0bGnmX9sBRhzgOp3zduXGJkBPVQQ+5wU2V8QS1qrJsA2e+J3Og4pISiBNkTy PxfTcKXNW85MB4Lg6v98Yri6Uu8ZrNSsnL7k8Mwpx4V5I4XWr9nWvJxAQKA+xiRYof4IPg ZmVnbjxDmHIxYiPBtDlTzykN9CYTiuvJSNE0iYj08ImE+Sv1xzgXASQE9gQ1KzTAemk8vf uwFKD++0MOoUgSopCvCXzmF9RwRHp0fnsgfJD+zveaI8Z+k3ASKUOFvXrpr2y+vD+9Cwul UWv1thqK+iSO3g/AOPJTf9NS1izOzFjK0YG7+mvMpIY3rGhHidtSiqk9w0j7pg== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qqrzo-00084X-EW; Thu, 12 Oct 2023 05:28:44 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qqrzk-00084B-A0 for guix-patches@gnu.org; Thu, 12 Oct 2023 05:28:40 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qqrzk-00067s-13 for guix-patches@gnu.org; Thu, 12 Oct 2023 05:28:40 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qqs06-0006jw-1n for guix-patches@gnu.org; Thu, 12 Oct 2023 05:29:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 12 Oct 2023 09:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: julien@lepiller.eu, 64249@debbugs.gnu.org Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.169710291325825 (code B ref 64249); Thu, 12 Oct 2023 09:29:02 +0000 Received: (at 64249) by debbugs.gnu.org; 12 Oct 2023 09:28:33 +0000 Received: from localhost ([127.0.0.1]:40631 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qqrzc-0006iT-Oi for submit@debbugs.gnu.org; Thu, 12 Oct 2023 05:28:33 -0400 Received: from mout01.posteo.de ([185.67.36.65]:52687) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qqrzU-0006hu-SW for 64249@debbugs.gnu.org; Thu, 12 Oct 2023 05:28:31 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 39C7B240029 for <64249@debbugs.gnu.org>; Thu, 12 Oct 2023 11:27:56 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1697102876; bh=oaC1KVvZYOymxElPa2tZBpBSVWQLGjJ2JqwlDgBom2k=; h=From:To:Subject:Date:Message-ID:MIME-Version:From; b=IVrji5pW8Cr5v4am56O+pziq3ixKvtCkastnRdqXP7/vE9HNzb46aYzt/2GketT+u xoXRGF9P+8F0HkXKPzWTbbWRc0FX2m6VQxl6sy5w0sUZ8+wlucJsrppjpyDbMMJZ+Q YsF0epuEGq6ADUWYiiiw888Qza61AVsg5ZeF35cybJ1RaECx/6mYFx0eBMSCMZKrZj K7X1X7KcgNXO+ZZW5d1bgfshIwuwJctOYVQN7bgBULz9/BotQ/MQ5XlVULu2Sy7KK1 bbEsZsz5ZI4y9ca+waHn9rbkgtZ0LCXlsOy+bgeOFAG8cI6WGpakJudZ3QeHiJDDDW nGxJYSezEel3A== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4S5knl3LWMz9rxK; Thu, 12 Oct 2023 11:27:55 +0200 (CEST) References: From: pukkamustard Date: Thu, 12 Oct 2023 09:18:46 +0000 In-reply-to: <20230922214828.5fb95e61@lepiller.eu> Message-ID: <86o7h46vhh.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx1.migadu.com X-Migadu-Spam-Score: 2.58 X-Spam-Score: 2.58 X-Migadu-Queue-Id: 05D7B5D00E X-TUID: BkBrtadErjM2 Salut Julien, I'm afraid your last messages somehow got dropped and I only saw them now after checking the issue on issues.guix.gnu.org. Sorry for delayed response. > If you agree, I could push the first 11 patches to master. Sounds good to me! Only thing is that dune was updated again (dune releases are too fast for us!). Maybe we can bump it to 3.11.0 before pushing to master? If you think we should run it trough CI once again I can send in a V7 that bumps dune to 3.11.0 and includes Josselin's coq fixup. > I managed to find all the required package updates and new packages to > get frama-c to build again. I just need to figure out a good order and > I'll send an updated patchset. \o/ woohoo, nice! Let me know if I can help in anyway. -pukkamustard pukkamustard writes: > Hello Guix, > > Thanks to Julien's help this version finally build OPAM! > > I'm currently very slow and it will probably take quite a bit of time for me to > look into the other things that could be updated in Guix's OCaml land (see > https://yhetil.org/guix/86bkhgc7jj.fsf@posteo.net/). Maybe it would make sense > to merge this patch series into master instead of having a too long-lived > ocaml-team branch? What do you think? > > Cheers, > pukkamustard > > pukkamustard (12): > gnu: ocaml: Update to 4.14.1. > gnu: Update coq-flocq to 4.1.1. > gnu: Update coq-gappa to 1.5.3. > gnu: Update coq-coquelicot to 3.4.0. > gnu: Update coq-mathcomp to 1.17.0. > gnu: Update coq-autosubst to 1.8. > gnu: Update coq-stdpp to 1.8.0. > gnu: Update coq-interval to 4.8.0. > gnu: coq: Update to 8.17.1. > gnu: dune-bootstrap: Update to 3.10.0. > gnu: opam: Split build into smaller sub-packages. > gnu: opam: Update to 2.1.5. > > gnu/local.mk | 4 - > gnu/packages/coq.scm | 152 +++---- > gnu/packages/ocaml.scm | 410 +++++++++++------- > .../ocaml-dose3-Fix-for-ocaml-4.06.patch | 52 --- > .../ocaml-dose3-Install-mli-cmx-etc.patch | 133 ------ > .../ocaml-dose3-add-unix-dependency.patch | 25 -- > .../ocaml-dose3-dont-make-printconf.patch | 9 - > 7 files changed, 331 insertions(+), 454 deletions(-) > delete mode 100644 gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch > delete mode 100644 gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch > delete mode 100644 gnu/packages/patches/ocaml-dose3-add-unix-dependency.patch > delete mode 100644 gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch > > > base-commit: 5db78e7c1b06d1b4892bdb3e153b95b21577271e