From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id qPC5NG/31mYfPwEAqHPOHw:P1 (envelope-from ) for ; Tue, 03 Sep 2024 11:48:00 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id qPC5NG/31mYfPwEAqHPOHw (envelope-from ) for ; Tue, 03 Sep 2024 13:47:59 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=aPfNZEWq; dkim=fail ("headers rsa verify failed") header.d=foundation.xyz header.s=google header.b=qgNqPDWw; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=foundation.xyz (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=1725364079; 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: content-transfer-encoding:content-transfer-encoding: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=TiPM6Yt2vozm2NJpAw/A/tGd7tPIYIVB0WZK1xEydZc=; b=KIGuaszXwqw861Z280ZbsDb4Rof5kIceX/RQooOCizP2fYAYRmxoW6a3iLlILHmQ4jETrC ysOTmRU3X5f2SRH42P45G5L/jKktQZL2TJ1FWGoHDaOsaqprQy0KsZn+INH2koVtmVXhCv fxnjpdvDsidrKCwCM/z/EGG0RZ2ihloQ7OfXRO3SBAiRNH35MB62fMf0plYttXNJ4Ta68w jo0K/40mR3C5Jz47/Og4vmqi7W9urkK25DzTmTQawrE0RLI58Kv8MKRgtsRnYY6qthIWPF LItEeEx5DjC5MPqE8xvc5VYgFuBGbUQRZhIGzALyojVlIwa+5i/LxihHWwPF4w== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1725364079; a=rsa-sha256; cv=none; b=l0nAu4X4faTmbrv1tAzjzuXSBxmcKCnRlXcgs4oQxrEXNgWcAxHlKjYbdBt/LdN0M92Fb7 OsFP91TWk6jjPXNJoulYIUSq4e+r9zipvu+tuiMGoEWBUouS8YUAlU4dKt1iX+kfWIVOG3 H2Zb2c08tysAM9L2LXyLX4FSuF6b3/JmahoiwbuxALLCqAQCfXAbfv26+aKJsc3wRoHMdv /dmFdsMkHhfxIgjNZrGaIQDjqWiLkgY+/BwrqoDe+geKm2b7t7JMsFyqtUak66bVgHjKAl eZoCP83MDd/pyEOADmw6r9j3iJi7LCLtPXsZCGQ25O0rXsIy6FejwBVbO0ZDZQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=aPfNZEWq; dkim=fail ("headers rsa verify failed") header.d=foundation.xyz header.s=google header.b=qgNqPDWw; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=foundation.xyz (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" 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 8612F6354E for ; Tue, 3 Sep 2024 13:47:59 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1slS0d-0001Dc-2T; Tue, 03 Sep 2024 07:47:43 -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 1slS0X-0000pv-Ih for guix-patches@gnu.org; Tue, 03 Sep 2024 07:47:37 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1slQje-0000Pq-Ih for guix-patches@gnu.org; Tue, 03 Sep 2024 06:26:08 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=Date:From:In-Reply-To:References:MIME-Version:To:Subject; bh=TiPM6Yt2vozm2NJpAw/A/tGd7tPIYIVB0WZK1xEydZc=; b=aPfNZEWqbkpa1/iEG6MXL9coIwKFMOL3rAqawjuSkHGsZjyTJbMjCRzQj9rsWEFOlSjOj/KHS4FEfdoSyo+3qgpK5Vu1CD4M7djlvzVtXxmx5g0rVUfeGPsLQTCYP30dibJRabOxrM4S8/TUcmq4m/KZIR1w617pby6aSad4594Xy09OykP4OI+kc+cmKU8pomLSYDZPtPXdZVmG67IwR3CqgSOWBztZeccxqib2pOUTHGzF39U/e7IPH/t/amTDAs+AzHCvlN4Kw29JJij4iYS14gfYBUotkYRhY0J4fGO7nkEDpWqoEJSqPM7yO4Co01C6BfqaCnxIP2l+5T+lfw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1slQkX-0007Gj-Qb for guix-patches@gnu.org; Tue, 03 Sep 2024 06:27:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#72998] [PATCH] gnu: ocaml-cairo2: Fix compilation. Resent-From: Jean-Pierre De Jesus Diaz Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 03 Sep 2024 10:27:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72998 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Guillaume Le Vaillant Cc: 72998@debbugs.gnu.org Received: via spool by 72998-submit@debbugs.gnu.org id=B72998.172535920427916 (code B ref 72998); Tue, 03 Sep 2024 10:27:01 +0000 Received: (at 72998) by debbugs.gnu.org; 3 Sep 2024 10:26:44 +0000 Received: from localhost ([127.0.0.1]:59131 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1slQk4-0007G1-PC for submit@debbugs.gnu.org; Tue, 03 Sep 2024 06:26:43 -0400 Received: from mail-ua1-f50.google.com ([209.85.222.50]:59420) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1slQjd-0007Eb-ER for 72998@debbugs.gnu.org; Tue, 03 Sep 2024 06:26:31 -0400 Received: by mail-ua1-f50.google.com with SMTP id a1e0cc1a2514c-846d1ba933eso417806241.2 for <72998@debbugs.gnu.org>; Tue, 03 Sep 2024 03:25:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1725359022; x=1725963822; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=TiPM6Yt2vozm2NJpAw/A/tGd7tPIYIVB0WZK1xEydZc=; b=qgNqPDWw8TJ66egTBZ8hCUAfNURy/BNl4c+R8zLmytegew3NNgpYLz1TqkPLB9oTPo ux3R/N+IDrUFkel140dPAoZUIH+eVb93aaaWnDzhBTXodUTMn6YTSwnThLVNQDf474eJ JLY+pY/KUBxvSlGwf2waPKIG0OZMNzkqGzJ3nkRtdI4EfNejj+dbN/HErKg+6T8zhdV4 i0pAXfXJbsGN130n5/TXMXCpt5rG5czfW01LH8dDD4ymxB4koM2h//k5f0TRGIuko3c/ xmQkqilyd9yEK54YW8oa65KU1IYLjqLNklzpozmBk9PguDYe6rwHadyvURam67NGGOVc KZcQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1725359022; x=1725963822; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=TiPM6Yt2vozm2NJpAw/A/tGd7tPIYIVB0WZK1xEydZc=; b=nMJ992a0bqm8+zfnFOiOdJqbYKuPFoZd7tTYjgRz516dQl/U8bD2QlIS3jOlVyxTSw /GrVXMdRkF49C9aDj40GJqoMCjasjr4aL4F90E7qXh5/1h6Mnso/MfIbrfvyclc4Ivo2 GYtHeed9HL0tQjj8IzZssV+rqEASUWjhQ24grkyJMfwMBC8JvHQZ7kOaGRdmXLo9CY+h yeo8rEtnz59xSqjolWOmCqXB/OPT/0xGd3o20YOmDSXqUbfcAjO4c1IOUxEn40nYOCDe tLCl/KCRrY5Ctm5BpmCzTDkI2YoQcCRWaTPCrimA1947SnW5kC9Wyk/uw6e0pYJ5Vh90 79Og== X-Gm-Message-State: AOJu0YxrSXUoSzGymNDyzZPnqYNPvNK11MqrhXNNDUe1Nf1kYy2ijjYx NYQOuaOF5gms+2h5pUTAH9ItoG4UvrwSgqAo4aYq9PGMPYo00EvQaKpn26hpMbFedDffz2B7ARO sldDwGmIq4ZrNHZFxpsubTuMDXFCl6MaI0eIkyA== X-Google-Smtp-Source: AGHT+IFu0P05EPDInaNtviAO5VKBr+UhkxUCD/LOjf7ceSfJyzC2GFw7dz1mCl15ETPYyYvdgmbdxZV5d6BqM/hhtBs= X-Received: by 2002:a05:6102:510d:b0:493:31f9:d14a with SMTP id ada2fe7eead31-49a77a3de86mr8060835137.27.1725359021933; Tue, 03 Sep 2024 03:23:41 -0700 (PDT) MIME-Version: 1.0 References: <87h6axrr07.fsf@kitej> In-Reply-To: <87h6axrr07.fsf@kitej> From: Jean-Pierre De Jesus Diaz Date: Tue, 3 Sep 2024 10:23:31 +0000 Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Queue-Id: 8612F6354E X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: -9.12 X-Spam-Score: -9.12 X-TUID: L5+Tfv8iEbVg Hello, Sorry for the noise then, didn't notice a fix was already there. I'm still a bit of a noob with Debbugs, so is there a way to close the issue from my side? On Tue, Sep 3, 2024 at 10:06=E2=80=AFAM Guillaume Le Vaillant wrote: > > Jean-Pierre De Jesus Diaz skribis: > > > This fixes the compilation of coq-ide, frama-c and why3. > > > > * gnu/packages/ocaml.scm (ocaml-cairo2): Build only cairo2 dune package= , > > and remove lablgtk and gtk-2 from inputs. > > > > [...] > > + (list ;; FIXME: lablgtk@2 package does not build, so skip buildin= g the > > + ;; cairo-pango and cairo-gtk packages. Once fixed, add lab= lgtk > > + ;; back to inputs and remove this. > > + #:package "cairo2")) > > A fix for lablgtk was pushed yesterday in > 0aa66ec0b0bef39591ddae3d8d06ac0fa71f03bb, so ocaml-cairo2 should build > now.