From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id 8B2MBmj4yGVlaAAAe85BDQ:P1 (envelope-from ) for ; Sun, 11 Feb 2024 17:40:08 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id 8B2MBmj4yGVlaAAAe85BDQ (envelope-from ) for ; Sun, 11 Feb 2024 17:40:08 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=fail reason="SPF not aligned (relaxed), No valid DKIM" header.from=lepiller.eu (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=1707669608; a=rsa-sha256; cv=none; b=N589sg/LslXV/gWqhE6NduwvrMUIjj/siLhFVwDk8zWj+VaajdrE+KclAzRLHcKF5DEqhx BpWyJsDOn00JGJGmzWKO5JXBGtxjTA7DQn7QWNvCgJspLu9GrrVej0RAKjPMf9tT18qATi BZoNZcR4mB2PsY2gYG/FqjXFfuxAyit/fz7cFJa2czZbEq1aqJaFRj4b7J6pmP/l/IaiQa inRm2PMPgqQc43aKLFbVmNmLFnRXvW05b5J9v+v0SoFa5VtoiavMbb/jl6hXPsUj72mxUf L58WKDJ5Q2YNFoPgi279hTokadJJqNhHNva7aN48z7a14fiLMsa2/MCd0yumlg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=fail reason="SPF not aligned (relaxed), No valid DKIM" header.from=lepiller.eu (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=1707669608; 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-to: 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; bh=p1PxzgfvveBL9QBVbTf+To1VuRfoaj8X8wS5X9Wk3uQ=; b=gzbmQ9MgZXHwAuahfdnHB/rakrefbvSiYb38RLT8TWZSR5R8+N5OYmkjidfqdh8StpuDXm 402W5I+VvFTF8L5a3kWq5RNVcsxHbim4hWP7SHp9aZ5fYtTVspcM6BC/qiaaoxBjJlG9RG 5l5K5uPpcQCGubVkimvFSvDml6N1fijEIiVs8o5p3+Ix2ilnJ3wr18Nuln44oP+a+VoM5P IY+9BAZm+Zi02UrPGQLVnuUvUVxRhMd6jNTRMRvKWcraob9tkigXPDdTqTCiQ82w61Y6lH TUmgmqWNcdW4n1oGepU8jDe6G3A9HzAf4W/Jcdp55IeyihR1/KVILDnDD59JWg== 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 EF9566CF39 for ; Sun, 11 Feb 2024 17:40:07 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rZCrs-0000Tl-2M; Sun, 11 Feb 2024 11:39:48 -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 1rZCrr-0000TU-1M for guix-patches@gnu.org; Sun, 11 Feb 2024 11:39:47 -0500 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 1rZCrq-0003bY-Pi for guix-patches@gnu.org; Sun, 11 Feb 2024 11:39:46 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rZCs6-0006ou-Nl for guix-patches@gnu.org; Sun, 11 Feb 2024 11:40:02 -0500 Subject: bug#68908: [PATCH] Add BINSEC. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Sun, 11 Feb 2024 16:40:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: soeren@soeren-tempel.net Cc: 68908-done@debbugs.gnu.org, pukkamustard Mail-Followup-To: 68908@debbugs.gnu.org, julien@lepiller.eu, soeren@soeren-tempel.net Received: via spool by 68908-done@debbugs.gnu.org id=D68908.170766956326128 (code D ref 68908); Sun, 11 Feb 2024 16:40:02 +0000 Received: (at 68908-done) by debbugs.gnu.org; 11 Feb 2024 16:39:23 +0000 Received: from localhost ([127.0.0.1]:58917 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZCrS-0006nJ-4f for submit@debbugs.gnu.org; Sun, 11 Feb 2024 11:39:23 -0500 Received: from 46.233.146.77.rev.sfr.net ([77.146.233.46]:54586 helo=localhost) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZCrL-0006mo-ES for 68908-done@debbugs.gnu.org; Sun, 11 Feb 2024 11:39:20 -0500 Received: from localhost (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 16e4d18f; Sun, 11 Feb 2024 16:32:11 +0000 (UTC) Received: by localhost (OpenSMTPD) with ESMTPSA id 82cacb95 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Sun, 11 Feb 2024 16:32:11 +0000 (UTC) Date: Sun, 11 Feb 2024 17:32:11 +0100 From: Julien Lepiller Message-ID: <20240211173211.25210c9a@lepiller.eu> In-Reply-To: References: X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit 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-Scanner: mx10.migadu.com X-Spam-Score: -6.24 X-Migadu-Queue-Id: EF9566CF39 X-Migadu-Spam-Score: -6.24 X-TUID: 39YSYUzBDAxS Applied to master as 8b679328512fbf5ca4c50c446884fc6069fdb589 to 16d2be641424815a1779119bb64bc6ba1be1161b, with minor tweaks to the description of a few packages, removed ocaml-findlib from inputs, since it's already implicit, and added a copyright line for you. Thanks!