From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id sqcPGvS48GMRZwAAbAwnHQ (envelope-from ) for ; Sat, 18 Feb 2023 12:39:32 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id UPEJGfS48GOCNAAAauVa8A (envelope-from ) for ; Sat, 18 Feb 2023 12:39:32 +0100 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 38721D00D for ; Sat, 18 Feb 2023 12:39:32 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Seal: i=1; s=key1; d=yhetil.org; t=1676720372; a=rsa-sha256; cv=none; b=KTzIzvaFeIuxB+26Savp3MIxWwj55K5gaSH7MKhmEz7zI1Nmc1o7OWbBGS+NDWJZlVEbmU yVP1ve4BXueftaubSECDhx8TKgrh/SKSscnUmZOL1JtoEb5kiZX65ciuBkjdmRGTh+4Qbz Qjvub9ABjiSishMRIcI5aLN3hn6ehAHMgqGWuINqeQ7Z6OtveGPSFQbuBClnuy2VsMnUMi 66rAK0PNGPvY62x6hge/GiKkspuVpftKE+Kjnmi4hARjQOlEvzzrwqhj2NVdqrwsvBjdIw WBdJT2VXQx2i5j5s9P5qsmmxz5ry7W4B3qGSOlXPP6jjk5ZEpGJHm2RankDg+A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1676720372; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post; bh=/aUrH5YQySncqP0DlyY4ck8PAhvsdKKYIPKsXN7TnMQ=; b=Zt+f2xK9KZvqfNIXKhJouV6aGClchy6EhXFYYrmXr7eiG5S5HmYAUelviqmNEY2Ver/1Gj x0O2X8fGmx6Uw7/jhpfib7qYfbqLv0mI5L1JYkxiVdE/H4OeraSJoARyqoaXzIBRoZmh8B VwbhvgjS2FK9ZqP53EnTIdUCOwgBsVSUtwOxUNrDqZRO/zxGcmjbmHfx2SK+gg2m+KMLuS DuqtU1T3n8SRsjC3JJBiNA+q1DHxpQPbKuZ5BRFUc30IwzaX5rv5OjJ3DDKW5Cn8AsST3S cJUQhfVzZCG7nP6Qz96l3P7XI+esen1FqXTBAuQqvBBQPQ5ZsmYIDfWihPDDgg== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pTLYZ-0001W8-LE; Sat, 18 Feb 2023 06:39:07 -0500 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 1pTLYU-0001Vu-Li for guix-devel@gnu.org; Sat, 18 Feb 2023 06:39:02 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pTLYS-0000YA-SQ for guix-devel@gnu.org; Sat, 18 Feb 2023 06:39:02 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 7238F7A3; Sat, 18 Feb 2023 12:38:57 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id UzRrDRgRbBdh; Sat, 18 Feb 2023 12:38:57 +0100 (CET) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0::c64]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 04BCE17B; Sat, 18 Feb 2023 12:38:56 +0100 (CET) Date: Sat, 18 Feb 2023 12:38:55 +0100 From: Andreas Enge To: Julien Lepiller Cc: guix-devel@gnu.org Subject: Re: Ocaml (was: Merging core-updates?) Message-ID: References: <20230212100540.2214f16c@sybil.lepiller.eu> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Received-SPF: permerror client-ip=185.233.100.1; envelope-from=andreas@enge.fr; helo=hera.aquilenet.fr X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, T_SPF_PERMERROR=0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: X-Migadu-Queue-Id: 38721D00D X-Spam-Score: -1.93 X-Migadu-Spam-Score: -1.93 X-Migadu-Scanner: scn0.migadu.com List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-TUID: LQBjibXhZQHk Am Sat, Feb 18, 2023 at 12:03:31PM +0100 schrieb Andreas Enge: > this looks exactly like the line that posed problems for openjdk. > Maybe there is a patch? Could someone familiar with ocaml have a look? It looks like this: https://github.com/ocaml/ocaml/pull/10266 Andreas