From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id SOq5BFc47mUVvQAAe85BDQ:P1 (envelope-from ) for ; Sun, 10 Mar 2024 23:46:47 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id SOq5BFc47mUVvQAAe85BDQ (envelope-from ) for ; Sun, 10 Mar 2024 23:46:47 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=troyfigiel.com header.s=MBO0001 header.b=Q8FObOfn; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=troyfigiel.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1710110807; 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: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:autocrypt:autocrypt; bh=6IQH0RJutea8NBSHB6vzIgrY0V52UI/5OQ1dYN+05PE=; b=EsEzNY5jS24XuIn8uaNCyRm0Y9mn+IJV2OsJZQEkr1DogzXXdhmJql6r+BBPC8umHv5wh/ evgvcAI3uM0cv7pxCAYapJcjHYf+DmsjSV/eOWy1YI0D8a749TB9eBVOsAAj4x0fZJeoc6 8Jl1U9hg9HosFf1L51wlgm5OJdFwHCGkjYXvANqAELilM6fG1ehD3FSsXqnbyTAesSwfN2 TxA4wDlGHT8blgFPghbINrZ8I7/91/jvsKZzPk6TcO4zlloRdk/pkSEZITaYTM3yL/Z3nq BPXZHPEWlkSQUUmAYNutr4StMozNTCJb8kiE6RojDcnuevxqEr6osx0g2fBJaA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1710110807; a=rsa-sha256; cv=none; b=oA4xHYJB4J2cQHJElMuP9VT27dW1WIlDj1OcgZjBddjTx9vv1LnjSeV0B+GQKamtx/kXMo L7yfKmHJclpvLIq+dsjmGsJ5+bmPG3JyV9o/0U9xUcgQVj3VjkjzXRnhQBVWy5gLDzhZyt CC0u9pz8x6pCaedwN3kH87aEJ/iQSUeM7TieNjHRi1kYd72H6qKZuBX6dYdQzv83QwHMwY hlRvVU7EofcqcURIJ7SLUoC2QntWULh7fZ4+riEOUodmLyJBL5td/1VPlsVBOPPMgY7ttw O/Vfvy1jozlo6L3I64fLHKZbLZtoemknZQAjB0i1mZo+pGhDokxjqiuAtmXTkg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=troyfigiel.com header.s=MBO0001 header.b=Q8FObOfn; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=troyfigiel.com (policy=none) 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 99D813CC18 for ; Sun, 10 Mar 2024 23:46:46 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rjRw6-0000Fp-MW; Sun, 10 Mar 2024 18:46:30 -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 1rjRw5-0000FS-6x for guix-patches@gnu.org; Sun, 10 Mar 2024 18:46:29 -0400 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 1rjRw4-0000tQ-Us for guix-patches@gnu.org; Sun, 10 Mar 2024 18:46:28 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rjRwc-0007WF-0l for guix-patches@gnu.org; Sun, 10 Mar 2024 18:47:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#69074] [PATCH] Add python-angr. Resent-From: Troy Figiel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 10 Mar 2024 22:47:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69074 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69074@debbugs.gnu.org Cc: =?UTF-8?Q?S=C3=B6ren?= Tempel Received: via spool by 69074-submit@debbugs.gnu.org id=B69074.171011081328889 (code B ref 69074); Sun, 10 Mar 2024 22:47:01 +0000 Received: (at 69074) by debbugs.gnu.org; 10 Mar 2024 22:46:53 +0000 Received: from localhost ([127.0.0.1]:38145 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjRwT-0007Vs-2w for submit@debbugs.gnu.org; Sun, 10 Mar 2024 18:46:53 -0400 Received: from mout-p-202.mailbox.org ([80.241.56.172]:58286) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjRwQ-0007Vf-2Y for 69074@debbugs.gnu.org; Sun, 10 Mar 2024 18:46:51 -0400 Received: from smtp202.mailbox.org (smtp202.mailbox.org [IPv6:2001:67c:2050:b231:465::202]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-202.mailbox.org (Postfix) with ESMTPS id 4TtFPX39V0z9sSp; Sun, 10 Mar 2024 23:46:08 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=troyfigiel.com; s=MBO0001; t=1710110768; h=from:from: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:autocrypt:autocrypt; bh=6IQH0RJutea8NBSHB6vzIgrY0V52UI/5OQ1dYN+05PE=; b=Q8FObOfnTfeDFh/tU3ZzOgzRWR5yyJFYd1Fg83k0mldFSngOMPATo/y9eT3+ttA+tw/9dG r2ZrgwT0clqStw1yxRtiS1/FTaAcLnN89YG3/suQABYT6MCcMC2OpNVEUwW3vx4oVg31+z HKH1zpBWqiimgpMG5ypKQFvMvUlTdajSJ+w2l0k44Mt+Sqa9xQtLOnvCgP0GLCslUUqk8l fVigii7ygeuTH7ljDWMMNnasQYFPUb19kLGmufVIqocCPiuCXBRo+iXVA4tJU4VWmtk9VK NxQqMsg4k3F5CVsDZRgdRkt4MbO+ad3ZFSMwVsLhAUKK6cdEjGy8F0dSNcbJKw== Message-ID: <2c45d288-755e-4a69-962b-1c35eeea9fcf@troyfigiel.com> Date: Sun, 10 Mar 2024 23:46:00 +0100 MIME-Version: 1.0 Content-Language: en-US, de-DE, nl References: <3F8X2Q5S9RUQP.2PBT94JRGRMIB@8pit.net> From: Troy Figiel Autocrypt: addr=troy@troyfigiel.com; keydata= xsFNBGKp71YBEADDmh9HMTg0Z8/xxf4yT6UX2wO8u0Q2nbOAhzROSabUVyBp8Gz6jLcoFN8x rg8XxxBWTCENBWqKkYG6Z/GgPmeKuacAeZIW7dGYaGu4bZHgLsTqk04J/dM63aVveJJY4M4r KNx0Mew+SYTGrh3NnoSF0+ZIskGGh4NJpXOGUSUihjdddn8ouFDDy01GJ9N2ZWprfWo3ynMA xEHhD6CWniQMkmd+TVKjQt+BC8d+nHlOt6vFoDGH9PehXmmBLyOJAVMAlPMyrN8ZjmbRp91s 4Sz2rqjD2GXFGvKClhyxcr2qEUJmCg/Vp8PiZWOwxA/6BCWuNmrl1d1FhXjMMIzz2y92MOlD 5kQm7/261cuXTJvKZOLmHelY0m7gReWnc9peGPmGeukkdblmjwJTnetzvF/AUXNpS29Nmyie 4PgsAbkmL0PwKCbf+6WRWywRidR1narANINGJHL8MDIgdUwuJsYhD5s10bIsg2dOOxFioOnm kgpWiVLmZSq9bkX+SRyWNL+hDhEbGLnZ5WUOszPXgo9Lo2dCGBr4YkCaxVCCCfgAn8TpgcLQ VW37N75MjEX3kVBGBiiifbQUedKHqMddlUEYLSjpBCNxqF1X5fTuurFrfq8EYcYcQGW5Telh fX1I6md7xt0FDBRAVx8jAvy7Rkt6CeKP7oPNMVfoQ62oMT85JQARAQABzSFUcm95IEZpZ2ll bCA8dHJveUB0cm95ZmlnaWVsLmNvbT7CwY8EEwEKADkCGwMECwkIBwQVCgkIBRYCAwEAAh4F AheAFiEE5HwNzSdo36E4/NzWxnyRgbOJP7AFAmVCwP8CGQEACgkQxnyRgbOJP7DK/A/+L6IY xHhr4ZCz5Mk8s0OHAQTP3ZlAtmjMB+Lg0nwg8hVRzF1O/mCQKaFeKwKgh0I0zZIYucnylG6K KtVoa1ZNrpOCO2Qau7C/j6u7lmZGoEyEf9ePvhpVPcqFXSeehNl/nmaAFuLXTTTvkUubuU2m OEQe1oua/9HQPbd2mlKNjUnj9YmYs9qqF9bcJmT0U2WUg4Jz3DmHQiK175QqJv7fXtIdHzAk BRlJdrslLPOrIDb7WAnXpUQs1bcirKuSFOsyeGn0plh3t0uSm8d3BValRArPMw/h9FldGRXr KycSCIuU/vL94mncXSwIy8ifY4XkcBVvuZ8CbAh3G3iuZ6LLoMsjGmCXkm6Ru9OieC8xmAae 69RYw/zXHoIkW+/nLygEv7+7tMrYTFcUR0RmMvHjiZafnGwHkBCFMojUapcG/EAsSYQzssGP qYLuqIaq2weCYpfNUMDye3rivOKFcO6Aa63lCb1TLy/OVoK0al04WdO+teDJVj88WNyMZu1c SdBYd3lJ9VLSmsBJ0FFksuDyXQqmrN+Uckka+JdKHiADGGaztMHmbJkZ1DZ2jfEh0kJTcCr8 PAXIvTMcgi/BLP3R6u+iHnycypID8pwLIDg3Gg3cLcfeBmCBEAft/Gk5RF0POIL8QAx7IVwu AD4kpM6fkXc6Dq9sl6us38ekm6M7fprOwU0EYqnvVgEQANU4cn+tMmYLMMJA3yeE7JIlY5E+ xZ5qrvNA+UwqTuZGcQH3Th81fsF1qYYiT38fq6GAEImJ19VqVs9f/YGSdkUk1ZA46AwzPuij pFGUm3yL71kCzPblF1zUCzOllc1N7pi3YD+XQr7ggqX/s/MS1uxR9Sgs5coYUT0ygXVOGkSk OQjdQ99B2+BUTos28C2sDfJfCd5ekLCp02EUle527sX8QjyTiTUlu5pvFnCtzO6MWf3loiJb Vi9vA0hQFOnu4jM0TjzIc4vWJpX1oExfFwEsoSVLDQh3CFIoe8wHsRgpIvtWiiRIuaaJawhx ac6mj4yaB2UR/MW8KFpUmqzTgVn8FLt0S0yo1PpleTFT8IsGY8luoyWIaUyNCrjXxrps8yFj HoE54Abb0S6Z15Ko2csG2DR1u4ZtELVsHcF3gZT5q1Nt9BnV8TYi0+vNjVjQ7OODQMOBSIB8 bBEQogtbTxBYvIs57ClYAd0fHssz7fJHaKDbcsZXGWKdiSEQrrfc78tOgmYml997og7SyLg+ YI9X8G4RJiIF9EThRtAKK92i9xktWLLBCl5q5nwRPcObVgy7AiwQBPX1WVR3+Uy6BaeyylPY YIAyM6dHwl4/e5HczR5Nt6pzmnOza8F2JT4blqJd+QVeL+xDtBvzKWLBVZkPJMbwqYS/1MOu 4UdmuNIpABEBAAHCwXYEGAEKACAWIQTkfA3NJ2jfoTj83NbGfJGBs4k/sAUCYqnvVgIbDAAK CRDGfJGBs4k/sAQUD/4xIZxwGDsBc3mf4qnahCEAN3NjyhI/9q2oFGzyN0t9ifh7u7HD5R0F 5WdI2JnOnW3Bjl3YnsMfLg9wHnsT3R1xresf59wXuKQ7UIpqPfMXLZnHtaUP5bmpETvkvybN f0zkekbU27chbmiAOyDB3ApsFQ7lqwvOO0K3+sx94ROsJwb+MDpjGAOewVPk7V0br0twFo2R 5/vtp8cNCg/lKlqWDmJ0fWipxazSzVAMDxn+ci0DB5o5UyHhxc8WgXXLl7t22m7b6kVZ0EKN oEPa7/TvIj1wVDFUFrEMEuJFBMDqZDLdBMZzEsq7O0sHaGifiy0zHRE7Eyfo+9sV0ccSWdeE f5GjoKLtR7MlJ+I9IfHuCl++Gxa+MM8yXfn/tk7vcsGJhewrqqTlvnpMuITCmdTJymgnKS/B jSDDKjgRsZLLzhkE+dVTBZRkHFOGf9rV8+JQRYwqZVIjIEln6EZdfOQIKPll4EY19f9stj7h ptM9jXDTBm4MBxdCdWIRsU19w4TqvitioADjMSZ1MYqQlS6pWQI9tDMJ/mLqKcWrHhar6rwv v/gTpsbePtVR2GkWMjEHE1VS1LKmr+UcWFu3MJIHMd4DFnypp1n1cY+u0emp93JUMDMqa79F G+6Sbeaw5G+/fx8S4hpw63SiA1x8c5PMjKGwx5G4ZZfNwT+mAi6dHA== In-Reply-To: <3F8X2Q5S9RUQP.2PBT94JRGRMIB@8pit.net> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------GFVfWiS8v9m4UKEZtXp40hOs" X-Rspamd-Queue-Id: 4TtFPX39V0z9sSp 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-Spam-Score: -7.38 X-Spam-Score: -7.38 X-Migadu-Queue-Id: 99D813CC18 X-Migadu-Scanner: mx11.migadu.com X-TUID: KLa0p/m1bLlT This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------GFVfWiS8v9m4UKEZtXp40hOs Content-Type: multipart/mixed; boundary="------------Q5xDs3D0H1Em4DUjSuLclDhx"; protected-headers="v1" From: Troy Figiel To: 69074@debbugs.gnu.org Cc: =?UTF-8?Q?S=C3=B6ren_Tempel?= Message-ID: <2c45d288-755e-4a69-962b-1c35eeea9fcf@troyfigiel.com> Subject: Re: [bug#69074] [PATCH] Add python-angr. References: <3F8X2Q5S9RUQP.2PBT94JRGRMIB@8pit.net> In-Reply-To: <3F8X2Q5S9RUQP.2PBT94JRGRMIB@8pit.net> --------------Q5xDs3D0H1Em4DUjSuLclDhx Content-Type: multipart/mixed; boundary="------------X0TAB0LLkOAB8y7jlxnS8Ug0" --------------X0TAB0LLkOAB8y7jlxnS8Ug0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi S=C3=B6ren, On 2024-03-10 21:12, S=C3=B6ren Tempel wrote: > I don't think there is an issue with the binaries. angr is a binary > analysis tools. Naturally, the test suite will need sample binaries > for testing purposes. The GNU FSDG has an explicit clause regarding > "non-functional data", I believe this very much applies here as these > binaries are not executed and only needed for testing angr's analysis > capabilities. Without the binaries there are no tests to run for angr. > I would strongly advocate for not disabling the angr test suite as > running it on Guix has resulted in the discovery bugs both in angr > and in capstone [1, 2]. Thanks for finding some references. I also found Poppler ran into a similar problem [1]. I am in favour of having these tests too, but I think the difficult part will be the licensing. AFAIK we would have to make sure all binaries that are included can be freely distributed. I had a quick look and most (if not all) binaries are free. I would also assume, if the angr authors are distributing the binaries in this way, it should very likely be fine. I will have a more in-depth look the coming week, feel free to do so as well. By the way, I see the tests for python-cle require binaries. Are these the same binaries as used for the python-angr tests? I didn't try it out, but if so, it might be possible to run those tests during the build as well. > Newer version of angr will require an update of the python-rich and > python-pygments Guix package. Since this would entail a lot of rebuilds= > (and the upstream integration of the present changeset has already been= > quite effortful), I opted for packaging an "older" version of angr for > now which does not depend on python-rich yet. As soon as python-rich an= d > python-pygments are updated, we can update angr too. Sounds good! > This is intended, all of these packages are distributed by the angr > development team and need to be set to the same version as angr itself.= > I added a corresponding comment. Super! > With the exception of one patch these are all upstreamed patches. I > don't want to package unreleased Git versions of these packages and > I think it's therefore preferable to just backport the bug fixes. Also > consider that angr is very sensitive to versions of packages distribute= d > by angr developers (see the prior comment). Fair enough, I see all patches that come from commits and PRs have a reference, so it shouldn't be too hard to check whether they should be removed/updated when updating the package version. > What is left to do in order to get this merged? We have to find someone with commit rights :-) I pinged the Python team before, but might be good to do so again once we are sure about the licensing of the binaries. I will keep you posted. The rest LGTM. Best wishes, Troy [1] https://lists.gnu.org/archive/html/guix-devel/2022-06/msg00394.html --------------X0TAB0LLkOAB8y7jlxnS8Ug0 Content-Type: application/pgp-keys; name="OpenPGP_0xC67C9181B3893FB0.asc" Content-Disposition: attachment; filename="OpenPGP_0xC67C9181B3893FB0.asc" Content-Description: OpenPGP public key Content-Transfer-Encoding: quoted-printable -----BEGIN PGP PUBLIC KEY BLOCK----- xsFNBGKp71YBEADDmh9HMTg0Z8/xxf4yT6UX2wO8u0Q2nbOAhzROSabUVyBp8Gz6 jLcoFN8xrg8XxxBWTCENBWqKkYG6Z/GgPmeKuacAeZIW7dGYaGu4bZHgLsTqk04J /dM63aVveJJY4M4rKNx0Mew+SYTGrh3NnoSF0+ZIskGGh4NJpXOGUSUihjdddn8o uFDDy01GJ9N2ZWprfWo3ynMAxEHhD6CWniQMkmd+TVKjQt+BC8d+nHlOt6vFoDGH 9PehXmmBLyOJAVMAlPMyrN8ZjmbRp91s4Sz2rqjD2GXFGvKClhyxcr2qEUJmCg/V p8PiZWOwxA/6BCWuNmrl1d1FhXjMMIzz2y92MOlD5kQm7/261cuXTJvKZOLmHelY 0m7gReWnc9peGPmGeukkdblmjwJTnetzvF/AUXNpS29Nmyie4PgsAbkmL0PwKCbf +6WRWywRidR1narANINGJHL8MDIgdUwuJsYhD5s10bIsg2dOOxFioOnmkgpWiVLm ZSq9bkX+SRyWNL+hDhEbGLnZ5WUOszPXgo9Lo2dCGBr4YkCaxVCCCfgAn8TpgcLQ VW37N75MjEX3kVBGBiiifbQUedKHqMddlUEYLSjpBCNxqF1X5fTuurFrfq8EYcYc QGW5TelhfX1I6md7xt0FDBRAVx8jAvy7Rkt6CeKP7oPNMVfoQ62oMT85JQARAQAB zSJUcm95IEZpZ2llbCA8dHJveWZpZ2llbEBwb3N0ZW8uZGU+wsGMBBMBCgA2FiEE 5HwNzSdo36E4/NzWxnyRgbOJP7AFAmVCwDoCGwMECwkIBwQVCgkIBRYCAwEAAh4F AheAAAoJEMZ8kYGziT+wXq8QAI0N2BmmCRqr/pJf4fWwXKNJG70QRhEIQtY30pHn DvKTgtwx+Ce0+iHj+lC/lD02Fb+JdD+yzDlkzvVEWOYET1/46MQhHNlqpj5qBpX4 DoVCWwSpuvb8X6+nfoOzY2Blcc+Y+IqMUmSKy7VH+IpBfknVei+CUCcY9xJQmMeN BwXgfo9Zf0csBO2k9wZGbOFw/nG36+G55i00uljw/w1+yOhM2btviWxd99oNTqVy vdviiZXPMF2uP5KUWOva0Lheed14vtT7UEchqgPyijLGGpyxr0RXEgYuYIAs+EW7 iOLYar3zfNoArj43WFnp1ov/kUW0gV7DCg3yZawCzHec5G9o6mcsWtmuFyLirMs8 UnSWj5hCG+MD3c3blj1vLhKfz6rWIQImhPVw7KjN83uINTy8CH6JqOe1ZllN1dzL 8TOfYSWLuWV9ehSABoYkUVZslPt6nNn0bfevK3sJ48yvPdbZobYZ0L7cDPJRuxaO D847AcwUeRBU6YZ1nXWhk+E8742XZrXuHjrWu33QvK45BYJGlQjiDjBU/uO3CBOh aJG8LLDcQs+MR6JN/FnKTMVT5tflFQSmmm7bog3XjjHcHjxaXD88gMOk85DyES7r GuZLpQJWEBUxHlcmoy093Ldnn1GXadeT2RcVcZd/6mZCZ4S5ohsOxfnuwEibHdkc iwqjzSFUcm95IEZpZ2llbCA8dHJveUB0cm95ZmlnaWVsLmNvbT7CwY8EEwEKADkC GwMECwkIBwQVCgkIBRYCAwEAAh4FAheAFiEE5HwNzSdo36E4/NzWxnyRgbOJP7AF AmVCwP8CGQEACgkQxnyRgbOJP7DK/A/+L6IYxHhr4ZCz5Mk8s0OHAQTP3ZlAtmjM B+Lg0nwg8hVRzF1O/mCQKaFeKwKgh0I0zZIYucnylG6KKtVoa1ZNrpOCO2Qau7C/ j6u7lmZGoEyEf9ePvhpVPcqFXSeehNl/nmaAFuLXTTTvkUubuU2mOEQe1oua/9HQ Pbd2mlKNjUnj9YmYs9qqF9bcJmT0U2WUg4Jz3DmHQiK175QqJv7fXtIdHzAkBRlJ drslLPOrIDb7WAnXpUQs1bcirKuSFOsyeGn0plh3t0uSm8d3BValRArPMw/h9Fld GRXrKycSCIuU/vL94mncXSwIy8ifY4XkcBVvuZ8CbAh3G3iuZ6LLoMsjGmCXkm6R u9OieC8xmAae69RYw/zXHoIkW+/nLygEv7+7tMrYTFcUR0RmMvHjiZafnGwHkBCF MojUapcG/EAsSYQzssGPqYLuqIaq2weCYpfNUMDye3rivOKFcO6Aa63lCb1TLy/O VoK0al04WdO+teDJVj88WNyMZu1cSdBYd3lJ9VLSmsBJ0FFksuDyXQqmrN+Uckka +JdKHiADGGaztMHmbJkZ1DZ2jfEh0kJTcCr8PAXIvTMcgi/BLP3R6u+iHnycypID 8pwLIDg3Gg3cLcfeBmCBEAft/Gk5RF0POIL8QAx7IVwuAD4kpM6fkXc6Dq9sl6us 38ekm6M7fprCwYwEEwEKADYWIQTkfA3NJ2jfoTj83NbGfJGBs4k/sAUCZSxaEAIb AwQLCQgHBBUKCQgFFgIDAQACHgUCF4AACgkQxnyRgbOJP7Ag6A//Zm9pknQvFDAA icbRWmq3BA4lEfdeXZqpaIHjw8wdBrP/dQfIVk44TEoYcVjanRPNN1HFAYp03kEy KLYzahN+mvaEuumIMSOCYi8VCwFMyqblp+3MKk3vW0EuM5OqgwOwexTrVX4LYDHh 3XG6id2zpja7wjxIQaKtW8W/5zviQYNz0Q9SIgi9fyxCWomP5EbK1Fz746FeSIYQ iFETpoQdRRwHQx+ZC6ReBGSqc1EEiCrg5Y8s+11jPYOL/zE3qlUClkk3PlvG12gp q2jPeByyby/FuZCT5d03uqCwRMo94gmiU4Ds7nCRTct+N830HKOld7cXEvNLhyuz VIYStWErJwmDQWfaEKjeUBL68MuCrhtn/XNraO83/Se6FdPs8OttC9P+qmBOrl+h EUaPz1R6DyNji2cdD5Wicy4DIcxRudDaZDhNeIQFIr1MtY9lVjYWI9SFgg+F68cI QcScfgfnxtVPt9XKnjrRUDWOf8/gpHaDaSUYymdqNkoRMjDGG3hAzrXEZo391hY0 /LnRuKSxy+FREJQwegvO0jk9OrzjgpDwAbESwqb3kWC4f8aPXweNMIEBI1x71Em4 Kx5HRJJQi9YmFSvvpXvTDbTGQG0wyy66X8ZyyzfUO2VFfMlcZpvN15utnGIzRqL/ RTt7ihriRUpHyWf5NC/CDdknhMOOmQXOwU0EYqnvVgEQANU4cn+tMmYLMMJA3yeE 7JIlY5E+xZ5qrvNA+UwqTuZGcQH3Th81fsF1qYYiT38fq6GAEImJ19VqVs9f/YGS dkUk1ZA46AwzPuijpFGUm3yL71kCzPblF1zUCzOllc1N7pi3YD+XQr7ggqX/s/MS 1uxR9Sgs5coYUT0ygXVOGkSkOQjdQ99B2+BUTos28C2sDfJfCd5ekLCp02EUle52 7sX8QjyTiTUlu5pvFnCtzO6MWf3loiJbVi9vA0hQFOnu4jM0TjzIc4vWJpX1oExf FwEsoSVLDQh3CFIoe8wHsRgpIvtWiiRIuaaJawhxac6mj4yaB2UR/MW8KFpUmqzT gVn8FLt0S0yo1PpleTFT8IsGY8luoyWIaUyNCrjXxrps8yFjHoE54Abb0S6Z15Ko 2csG2DR1u4ZtELVsHcF3gZT5q1Nt9BnV8TYi0+vNjVjQ7OODQMOBSIB8bBEQogtb TxBYvIs57ClYAd0fHssz7fJHaKDbcsZXGWKdiSEQrrfc78tOgmYml997og7SyLg+ YI9X8G4RJiIF9EThRtAKK92i9xktWLLBCl5q5nwRPcObVgy7AiwQBPX1WVR3+Uy6 BaeyylPYYIAyM6dHwl4/e5HczR5Nt6pzmnOza8F2JT4blqJd+QVeL+xDtBvzKWLB VZkPJMbwqYS/1MOu4UdmuNIpABEBAAHCwXYEGAEKACAWIQTkfA3NJ2jfoTj83NbG fJGBs4k/sAUCYqnvVgIbDAAKCRDGfJGBs4k/sAQUD/4xIZxwGDsBc3mf4qnahCEA N3NjyhI/9q2oFGzyN0t9ifh7u7HD5R0F5WdI2JnOnW3Bjl3YnsMfLg9wHnsT3R1x resf59wXuKQ7UIpqPfMXLZnHtaUP5bmpETvkvybNf0zkekbU27chbmiAOyDB3Aps FQ7lqwvOO0K3+sx94ROsJwb+MDpjGAOewVPk7V0br0twFo2R5/vtp8cNCg/lKlqW DmJ0fWipxazSzVAMDxn+ci0DB5o5UyHhxc8WgXXLl7t22m7b6kVZ0EKNoEPa7/Tv Ij1wVDFUFrEMEuJFBMDqZDLdBMZzEsq7O0sHaGifiy0zHRE7Eyfo+9sV0ccSWdeE f5GjoKLtR7MlJ+I9IfHuCl++Gxa+MM8yXfn/tk7vcsGJhewrqqTlvnpMuITCmdTJ ymgnKS/BjSDDKjgRsZLLzhkE+dVTBZRkHFOGf9rV8+JQRYwqZVIjIEln6EZdfOQI KPll4EY19f9stj7hptM9jXDTBm4MBxdCdWIRsU19w4TqvitioADjMSZ1MYqQlS6p WQI9tDMJ/mLqKcWrHhar6rwvv/gTpsbePtVR2GkWMjEHE1VS1LKmr+UcWFu3MJIH Md4DFnypp1n1cY+u0emp93JUMDMqa79FG+6Sbeaw5G+/fx8S4hpw63SiA1x8c5PM jKGwx5G4ZZfNwT+mAi6dHM7BTQRiqe/lARAAr2+Gwop3aV336fshBeI8NnxbymA+ 1vnRAEgBWO2QmCF/ImjB3N7ZfIKy3xaPEY9k4nf6CiVjytAgW4qOhss8OPzSBUBI er74uS5MVFPZpBalhTrbNLSs3SNvYAcA2nu8iDOakq3C3myHsSHVPHEbz271gLRK lhNaErqJu83TYvCZVjSnyjpdLK9kbfT5BhbG+nin+xqx8HdRKF7z/NiU+u1XSZQy nKeUJENzYTfMdPiE+ttyS6OFFxXzSHlT4X4A0eumSObqU6mME8t7qpC9moBpn7Bf 38C70CGpqh+p1izA8ZAnK44M1SLLpJDU2hcX1PNCQe7sNc17SX+or/Hsj2wcmEZn +CqP8FgUZr6CmsJ7jNvBqeyweeX3V2zrqt72jPlm7xfrx2OZ9GZ1BzwZTKyt6VWw l6PIPDP0kOGbPXoXc1QWomGEI8XEERhqnZmHmqgmhbHlZXnEjy0DT4N1GIfdrHRc 2MihqzIBQdlHBgmRDCdkL1V1ujpmIcZnZ4pKy8dEiSU7Wc1pLL0UvY6PVwJ+T6+m fONbG67GP6MNs7qo7+zD6I8xpgMq9ztbCuZKNc0/Axk0CchgSGiaOA4VF16sCvIP 73tMiwXJvBprurAZQw2KgZVX8I2oL7lF+YPQIuZhfkAIx7rZWmIq/NJoXGRFk2TM 4Ft7CPJTamjrIVEAEQEAAcLBdgQYAQoAIBYhBOR8Dc0naN+hOPzc1sZ8kYGziT+w BQJiqe/lAhsgAAoJEMZ8kYGziT+w+HkP/3eMSA4opQh1WKwB57Se1QHFOZsEpXcx r2RLv4ecJgeQhlU7gs5Ub4X+KrRxM8rMbYdTicBWPBJZfYpmeuG6UpwOViXMo5h6 adovexE+IzL+2QgcmF8MLDsoK5wLekq4n3GZy6BNPbT6r/xs45ggyJXpgeZ5/vpy zPu81AffLpnWtJPTLWWCzni2QH25PmYXMShlJezX8Eh6pUTApsCitSXzLGfjAjPW l53sTVHKBs2Eq60+CTiwTDWnEkWI1i786WvRikV/jqCAeEqsYqGBhhOv9xDBm677 Srm06SioJg0M2/SFGBtDSFjPr1EfCUKilIaouyt/XwQJLvy3boG6NLJhaF+tXCN2 Nrbi9MDqQIPcTiwQWE5cgbx2woBdDR9oTlwJnqEynDzr5853o8DJM54xZF7z4/DH FuhSmdvF31ikP5Ui+4d9hqJUkNr4E4Q0wnj/tft09nou2lFXVVNpuuhtx9Sjm0k0 NXRaZ8MHEsE/utD2LouA2jUGTcKYeWYP+1mtGUSqYQysIa+/3A5lyXVb4jG3Ov9P jmKy2nAVj4kDFsaPAi+58ETeMcUj5od50UYNFytXYJ8gimeJHHilNrfA9dM8pE7e WRGX5GgO+n7EqhAxyObcX4msZnHqr7gU5V2CKnBAHHQEBXKeE9SWUZlou6UXJYDE XMzIG1uBMRmk =3DzpVU -----END PGP PUBLIC KEY BLOCK----- --------------X0TAB0LLkOAB8y7jlxnS8Ug0-- --------------Q5xDs3D0H1Em4DUjSuLclDhx-- --------------GFVfWiS8v9m4UKEZtXp40hOs Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE5HwNzSdo36E4/NzWxnyRgbOJP7AFAmXuOCgACgkQxnyRgbOJ P7D1YQ//aYoqqKCVh+d359/OkVGUmQym7SsppbacCX09vjFt4yNe83AcDx/5Gl5U 1Jm6s81aQMWTQ2cUWXVY3zn7/lWF0sfLVU0ySBzbczalCdtqdoFHLdOGLsbn8rUx GJ//qYwNUCZQfQDxaDRyeb//4uxD1jci8+TTRKHlLKtiyLTHi9zFmdSURsXWILst 8gtyrcxJ4X0qho5A9y1iZ7BGr1h7gISiGFc5rniJoc4oV85DQ7b0UR+NNV0hprtX YmBS5zeZ0WCWwl16jbyZtwPVI2PWbCwf4+Symm+QbVvuXi1o27ReoXYpfiJbh+tx hDR+wMGIY1iqhStI80Nhj8tMlC/qqtoIbMBpnKfnswg8MqbQieNWs4M2cbv6unkT 9+AbRTvZC6bfJZ6FlIuy0UNG7eKZqLxcsbPQpF4qsb2TeHWIkVi7LM6aOpgjnEnF zFMl9YrVGZ2fh07A4C/vyLKmJjwXqwTth1qXe99Lx2s9eLTZg33wgwevf7zkzGg7 AhY2kHi1yinjmZUasq3WtF6MRu1coR+PZypX2GPDhCNibDQ66IuxTs/nxcxHao/u H+VWelrgIyaQfe2YU8wWSBy/ZrkXfUBInmRmnQBZJsjNLcRNYdy8ZIA+dM5yxNDY HL1jL9xtZOTUOR58Y2oztGmvyEvEfZVsuyV5eQUvQx9pzAXfBb8= =Pud1 -----END PGP SIGNATURE----- --------------GFVfWiS8v9m4UKEZtXp40hOs--