Package | Source(s) | Maintainer(s) | |
---|---|---|---|
guix-patches | PTS Buildd Popcon |
Message #47 received at 79224@debbugs.gnu.org (full text, mbox, reply):
Received: (at 79224) by debbugs.gnu.org; 12 Aug 2025 09:05:55 +0000 From debbugs-submit-bounces@debbugs.gnu.org Tue Aug 12 05:05:55 2025 Received: from localhost ([127.0.0.1]:51814 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>) id 1ulkx8-0007d0-SQ for submit@debbugs.gnu.org; Tue, 12 Aug 2025 05:05:55 -0400 Received: from 3.mo562.mail-out.ovh.net ([46.105.33.63]:58109) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from <ngraves@ngraves.fr>) id 1ulkwh-0007Zp-Fx for 79224@debbugs.gnu.org; Tue, 12 Aug 2025 05:05:31 -0400 Received: from director1.derp.mail-out.ovh.net (director1.derp.mail-out.ovh.net [51.68.80.175]) by mo562.mail-out.ovh.net (Postfix) with ESMTPS id 4c1QZY5Glcz20sq; Tue, 12 Aug 2025 09:05:25 +0000 (UTC) Received: from director1.derp.mail-out.ovh.net (director1.derp.mail-out.ovh.net. [127.0.0.1]) by director1.derp.mail-out.ovh.net (inspect_sender_mail_agent) with SMTP for <79224@debbugs.gnu.org>; Tue, 12 Aug 2025 09:05:25 +0000 (UTC) Received: from mta3.priv.ovhmail-u1.ea.mail.ovh.net (unknown [10.109.254.220]) by director1.derp.mail-out.ovh.net (Postfix) with ESMTPS id 4c1QZY3Gqnz5wHb; Tue, 12 Aug 2025 09:05:25 +0000 (UTC) Received: from ngraves.fr (unknown [10.1.6.11]) by mta3.priv.ovhmail-u1.ea.mail.ovh.net (Postfix) with ESMTPSA id F04F994325C; Tue, 12 Aug 2025 09:05:24 +0000 (UTC) Authentication-Results: garm.ovh; auth=pass (GARM-103G005d26e17e1-0547-45a0-810b-3e47818b7e16, C5D759281D113BF028CC7F145FFAF0A9AC8DF452) smtp.auth=ngraves@ngraves.fr X-OVh-ClientIp: 176.179.146.16 From: Nicolas Graves <ngraves@ngraves.fr> To: 79224@debbugs.gnu.org Subject: [PATCH 14/43] build-system: dune: Redefine dune-build. Date: Tue, 12 Aug 2025 11:04:22 +0200 Message-ID: <20250812090457.19016-14-ngraves@ngraves.fr> X-Mailer: git-send-email 2.50.1 In-Reply-To: <20250812090457.19016-1-ngraves@ngraves.fr> References: <20250812090457.19016-1-ngraves@ngraves.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 276126953400427234 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgeeffedrtdefgddufeegledvucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuqfggjfdpvefjgfevmfevgfenuceurghilhhouhhtmecuhedttdenucenucfjughrpefhvfevufffkffojghfgggtgfesthekredtredtjeenucfhrhhomheppfhitgholhgrshcuifhrrghvvghsuceonhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrqeenucggtffrrghtthgvrhhnpedvleelgeeffeetleekueegvdfhtedvueffiefhkedtleejkeduveelgfdufeduleenucfkphepuddvjedrtddrtddruddpudejiedrudejledrudegiedrudeinecuvehluhhsthgvrhfuihiivgepieenucfrrghrrghmpehinhgvthepuddvjedrtddrtddruddpmhgrihhlfhhrohhmpehnghhrrghvvghssehnghhrrghvvghsrdhfrhdpnhgspghrtghpthhtohepvddprhgtphhtthhopeejledvvdegseguvggssghughhsrdhgnhhurdhorhhgpdhrtghpthhtohepnhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrpdfovfetjfhoshhtpehmohehiedvmgdpmhhouggvpehsmhhtphhouhht DKIM-Signature: a=rsa-sha256; bh=kCmIiN3+YnQUrYY+q8IGyazd0tWF9VhwfrRpMFtuaJU=; c=relaxed/relaxed; d=ngraves.fr; h=From; s=ovhmo4487190-selector1; t=1754989525; v=1; b=PFmpJNADfhLf388jXnRqktz9HsUimoMzRB8l+eKVqddcTal/O/6uDtOwVhqVRQEeJhOzdY9Z yFi4dDmiy800mJVKGNQSw7/ea2RtQzAMz0w0LLN2+XojECsF8kInCHKEQB7UYq01A6KHXaxK1vW evNR1AJINwvGcSJycJvXGHkLhEuE+M81Nr39BhGv7SOhzHz9DJAnq2HBw2xea1csswYQYOUc/+l seARMcYvt65g0s3anIBu2UuTX12z7sv9pRcybTUMOVHQ/nDvVNtdUrOOWXhrs7TPWUwgeTAQ16r Yg0LG7j7C4lOP2Fd6zu4amvmOj3S7/3SpCLQCV8XHeRiw== X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 79224 Cc: Nicolas Graves <ngraves@ngraves.fr> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit@debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org> X-Spam-Score: -1.0 (-)
Send a report that this bug log contains spam.
Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.
Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.