From unknown Sat Jun 21 10:12:46 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#69727 <69727@debbugs.gnu.org> To: bug#69727 <69727@debbugs.gnu.org> Subject: Status: [PATCH] gnu: binsec: Update to 0.8.2. Reply-To: bug#69727 <69727@debbugs.gnu.org> Date: Sat, 21 Jun 2025 17:12:46 +0000 retitle 69727 [PATCH] gnu: binsec: Update to 0.8.2. reassign 69727 guix-patches submitter 69727 soeren@soeren-tempel.net severity 69727 normal tag 69727 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 11 06:24:07 2024 Received: (at submit) by debbugs.gnu.org; 11 Mar 2024 10:24:07 +0000 Received: from localhost ([127.0.0.1]:38902 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjcpC-0001DE-PF for submit@debbugs.gnu.org; Mon, 11 Mar 2024 06:24:07 -0400 Received: from lists.gnu.org ([209.51.188.17]:36012) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjcpA-0001D6-Ed for submit@debbugs.gnu.org; Mon, 11 Mar 2024 06:24:05 -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 1rjcob-0007mv-HU for guix-patches@gnu.org; Mon, 11 Mar 2024 06:23:29 -0400 Received: from magnesium.8pit.net ([45.76.88.171]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rjcoZ-0000ZD-Ht; Mon, 11 Mar 2024 06:23:29 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=3rpQzM8B xvI3j6o43d5H1h+TrYoMWWBERlHNCi5F2Cw=; h=date:subject:to:from; d=soeren-tempel.net; b=UfmBtZATC+T9QBLrdMi2VhVXiZz6tfFrNcTNNPbjL6i4tuO DMukwW7NkwHLldEXyjJ+wmo1C6+E0g+5X85vnvp6xDXoMlmz/gdy2aF7y0WNO1+DhRRogY RJCj7z3StdopgAjvLRBUdSlpVj4DuU94dkDE7ntkF/0ZphKUp2beYg= Received: from localhost (dynamic-2a02-3102-49da-001b-64ba-7ea6-b5d2-00d0.310.pool.telefonica.de [2a02:3102:49da:1b:64ba:7ea6:b5d2:d0]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 9c214687 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Mon, 11 Mar 2024 11:23:23 +0100 (CET) From: soeren@soeren-tempel.net To: guix-patches@gnu.org Subject: [PATCH] gnu: binsec: Update to 0.8.2. Date: Mon, 11 Mar 2024 11:22:15 +0100 Message-ID: <06e52d768ef7d34817d4b2460bd4bff21ed59a12.1710152535.git.soeren@soeren-tempel.net> X-Mailer: git-send-email 2.44.0 MIME-Version: 1.0 X-Debbugs-Cc: julien@lepiller.eu, pukkamustard@posteo.net X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=45.76.88.171; envelope-from=soeren@soeren-tempel.net; helo=magnesium.8pit.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) From: Sören Tempel * gnu/packages/ocaml.scm (binsec): Update to 0.8.2. --- This is just a bug fix release. See: https://github.com/binsec/binsec/blob/master/CHANGES.md#082-2024-03-08 gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0f4c351141..ecc0747365 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1472,7 +1472,7 @@ (define-public lablgtk (define-public binsec (package (name "binsec") - (version "0.8.1") + (version "0.8.2") (source (origin (method git-fetch) @@ -1481,7 +1481,7 @@ (define-public binsec (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "0j6lwj20jaq0702v2fqvsrax1400zqbvz5q2cmjqhvrjzcfcl0kr")))) + (base32 "1k6prp2nc9whvxxnnqpg0f5pr7arikwv2bhzna5yq6v629i70c7q")))) (build-system dune-build-system) (native-inputs (list gmp ocaml-qcheck ocaml-ounit2)) (propagated-inputs (list dune-site base-commit: 27b762f78c58d853d86379ec58090c84e6de986d From debbugs-submit-bounces@debbugs.gnu.org Thu May 09 09:57:43 2024 Received: (at 69727) by debbugs.gnu.org; 9 May 2024 13:57:43 +0000 Received: from localhost ([127.0.0.1]:55407 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s54HH-00035p-6q for submit@debbugs.gnu.org; Thu, 09 May 2024 09:57:43 -0400 Received: from magnesium.8pit.net ([45.76.88.171]:33420) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s54HE-00035j-Cq for 69727@debbugs.gnu.org; Thu, 09 May 2024 09:57:41 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=DlmK013M zIlROJWpq5wA/0Uq4ByZ51pYHJfRFRzHBps=; h=from:subject:cc:to:date; d=soeren-tempel.net; b=Xc8Ene9PTAIQt3d6DkYeTzQ3uPx9fkkwBXwuv21K1qO+nj5 02031/DerNiD+ZOdNzZ2WSVIk32A61NkzIKYGrMbd7paxpnO1cZtqLxyf/1QgsnRjy6rea OuLyAWjeAyE6wOftae6rDie8csvVfhy4vRQ43NW2fnweAVAirfTH58= Received: from localhost (dynamic-2a02-3102-49da-001b-cc37-a5be-e736-14fa.310.pool.telefonica.de [2a02:3102:49da:1b:cc37:a5be:e736:14fa]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 7c745bd7 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Thu, 9 May 2024 15:57:11 +0200 (CEST) Date: Thu, 09 May 2024 15:57:07 +0200 To: 69727@debbugs.gnu.org Subject: Re: PATCH] gnu: binsec: Update to 0.8.2. From: =?UTF-8?Q?S=C3=B6ren?= Tempel Message-Id: <3MO3SE9UW1POG.35EHXPGHT5VLK@8pit.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 69727 Cc: pukkamustard@posteo.net, julien@lepiller.eu X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) PING, any chance someone could take a look at this? :) From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 04 02:21:39 2025 Received: (at 69727-done) by debbugs.gnu.org; 4 Mar 2025 07:21:39 +0000 Received: from localhost ([127.0.0.1]:54843 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tpMaw-0002nA-N4 for submit@debbugs.gnu.org; Tue, 04 Mar 2025 02:21:38 -0500 Received: from msg-4.mailo.com ([213.182.54.15]:54024 helo=mailo.com) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tpMas-0002mj-Ee for 69727-done@debbugs.gnu.org; Tue, 04 Mar 2025 02:21:36 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=nicolasgoaziou.fr; s=mailo; t=1741072887; bh=SVBSbcmerijxjxPpplgloOy7J0ZJQNsrD99X6jsHeQU=; h=X-EA-Auth:From:To:Cc:Subject:In-Reply-To:Date:Message-ID: MIME-Version:Content-Type; b=vXeA5e9mX7VlHqug7T773DAe+9SaLVMY2gg3q6BXPqUEjl/4SLezAddGO5xyo8+Wv 1Es7g5VyPfuc7zrbJi/xCks81E2Mq9ZIZeLet7nTZr1bWPMD0EBPc2xzKANX8WTvNB T9L779m063NToa5wWkJ+oVEq7cb3tzQH4UNfkOSw= Received: by b221-2.in.mailobj.net [192.168.90.22] with ESMTP via ip-20.mailobj.net [213.182.54.20] Tue, 4 Mar 2025 08:21:26 +0100 (CET) X-EA-Auth: AIvAhCed9w30ZMEjpaTKoAmk5kwy5p2ArCjhrvMEFZavo5ztQ0X0iblRcaoWgpt3w70p6bTr/5wcMEctrp1lpwwnZzOSRnNVc3FXBTCJOvg= From: Nicolas Goaziou To: 69727-done@debbugs.gnu.org Subject: Re: [PATCH] gnu: binsec: Update to 0.8.2. In-Reply-To: <3MO3SE9UW1POG.35EHXPGHT5VLK@8pit.net> Date: Tue, 04 Mar 2025 08:21:09 +0100 Message-ID: <8734ft6z2y.fsf@nicolasgoaziou.fr> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 69727-done Cc: =?utf-8?B?U8ODwrZyZW4=?= Tempel X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello, > PING, any chance someone could take a look at this? :) Finally applied! I also updated it to 0.10.0 while I was at it. Sorry for the delay. Regards, -- Nicolas Goaziou From unknown Sat Jun 21 10:12:46 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 01 Apr 2025 11:24:47 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator