From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id +ND7F12EOGP5BQEAbAwnHQ (envelope-from ) for ; Sat, 01 Oct 2022 20:18:05 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id eHMbF12EOGOVawAAG6o9tA (envelope-from ) for ; Sat, 01 Oct 2022 20:18:05 +0200 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 1DDF329AE8 for ; Sat, 1 Oct 2022 20:18:05 +0200 (CEST) Received: from localhost ([::1]:59806 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oeh3r-0001BO-OY for larch@yhetil.org; Sat, 01 Oct 2022 14:18:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:51518) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oeh3P-0001An-CQ for guix-devel@gnu.org; Sat, 01 Oct 2022 14:17:35 -0400 Received: from tobias.gr ([80.241.217.52]:47648) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oeh3N-0004kv-Fg; Sat, 01 Oct 2022 14:17:35 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=2018; bh=ZMJXyEWvqbwSi JFDx4QUqTenN3BUvk57yvgZMi6bcFQ=; h=references:in-reply-to:subject:cc: to:from:date; d=tobias.gr; b=eGS0DO+v3osQwa0PqEaaanC6I9nKhcHE875VSWGFt 8pIUaqSZzxtbTl5WAUNeWqAetIO0fzWk4AdJEbofL011AqpHCxPd8210AVJfkWsttp8V9s oUDc936u25lqqZZn0+9xVp4Z2GPhVwBhAGzmbluc6tSzmRbc0Scd+QK79wdKj90/iy5ePQ DwJBs6RMcaxG0/gDtqLGd62xlmZ7UbJ1/6etx2PlrAx3MFVb0fA6PabNZb9cpGPPu4js+9 zyQLMJytmne3+cO693e7X9jDZYI33QxgAr584orKd4E2su2t6yjaDvGYyM9fsqoKzY+NUv my7rDyj+MuPoMiZfMv/AA== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 63a32ff9 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Sat, 1 Oct 2022 18:17:23 +0000 (UTC) Date: Sat, 01 Oct 2022 18:00:07 +0000 From: Tobias Geerinckx-Rice To: guix-devel@gnu.org, Ricardo Wurmus , =?ISO-8859-1?Q?Ludovic_Court=E8s?= CC: Maxime Devos , Csepp Subject: Re: substitute derivation: also substitute grafts? In-Reply-To: <87ill3qwld.fsf@elephly.net> References: <87r10ckcwp.fsf@elephly.net> <87o7vgg0e3.fsf@riseup.net> <50888e79-4d5e-8c66-b318-975e0d170aca@telenet.be> <87tu53ggxu.fsf@elephly.net> <87sfk7cx5m.fsf@gnu.org> <87ill3qwld.fsf@elephly.net> Message-ID: <0D91D1CE-0EEC-4AE0-A27E-C03670039864@tobias.gr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Autocrypt: addr=me@tobias.gr; prefer-encrypt=mutual; keydata= mQINBFVks2ABEACjGBPhWf/qx0L9OhEIrAFTimo5dHa1FLy0AHaHvxmwYSIdJmERYGiNle1rcOvw cFRtu8KJUsrs27Vgoso3qHJpghVitUUf0v3ZuXQT9kfuQLz1Y8pyMzHwVFMLiJVj4Z3y7CJk+xyZ cpSAMbyPINbFVEhsK+z+8ojVGuaiucZkib6b67ySG6Pp1bon8xVvosj71ZRjfXh1t4X8laWO7fQq itT9lmc6DxbE/4vIhR+Vb2MblaA+DyHoNHGGao89h4CO99lfzWzsux41DnEG9d317sJRQTig6Wja EKHXZRA9FbfogD4SDa2uQYCpTJpsVjAyZyu2fuJ+t0zJJ+Ai9qDY87P6hOyd+/n8Eh2Y4TbxJiDo XUT72XY/RfPH1qrMIP3EI/NNL4LQeGG1n+625k3OVWcRVXG2vRrB6qurLmGkLEmjXWCFD9cCRGfH LeajLm9sM+t/nZPZ3btetcmK9tM2EwivyLUNhrTk73UUnI4CSAzdO2cISqo9zSMtFgj2alqd2fOR s7CKfEn+5PquruDbp/Ej7dOOrjgWSCXLDDYXRrtaKrLz/dhqq5ftFYi9tUTTQecFotM08fPtu+Kw JMP2ySHCkUqp0GvrUCeSRPAJZsmJrd535y+LlRhnqb0mbG4dgMa8A6xhkFYugnqldy/q7kX1EmRI 686N7bA6fh1MCQARAQABtCRUb2JpYXMgR2VlcmluY2t4LVJpY2UgPG1lQHRvYmlhcy5ncj6JAlIE EwEKADwCHgECF4ACGQECGwMWIQT1vFU0w28Ah7OdNu8cncT+udt8SwUCXpe0rAYLCQgHCgQFFQoJ CAsFFgMCAQAACgkQHJ3E/rnbfEu5IhAAk+0BW/twLmx1xMmeXn+I7Ne6SG3++0TRBduEaGWV3n59 lX6XPZUQdAPpS4uy0H+c90Owkw+aWUEwfyOWphrxZRtR2cCOP/3Pxj3Vgtz5RkY4u27lMj15jqa/ p7l2l256ZKJOegr9TvOWtkhMp5lxeVHT6f/44Kv/r/8mMCgSnLXYrEWPE462xI+mIJOanHLJb6No f2xLRCvXoLLp7Yejjv1dwOO71R9PMRhtNy46pZM1ylQ++UTkeSocJw4aNtiu0DHOkX9AlNBkutIx x07RpO+MqJKlzzLeQiC/fE5+dR2itRONopwXAqN3MuT7MonQo5XifBn+VK8i9xZWTXZDkWItWtCC 8oIj4zwxwFWiTmMwwSbI3Wdd/11Zw3CLc4Gd0M6NVgvAnuErQXSgr4lrWhZcncvi4L6EJTc9AUSa 8UWPF+S9t+CHTukpJmcYnsccMkOBhT7OZlmWBsylrYK/JTRWqgWSHWdSKmOuLK+MGDneOZEHkEcf jeXRWvmG7MSU5tE/p7NDLIg9vkvhQV9b0q4OtY65uNWbRe2QRJaYMDcYUAeSZzivRa8VaoVen6tb FvH44zpCxubn23ABl9YIzwvJC++r+H2qLdLpy0cfITiZadZ74Ae0aosNw7XARS6OY+A03BfXyPiI 2oW0jf/PdH9sh2mQrQxIQJ5cZz6Z3X20MFRvYmlhcyBHZWVyaW5ja3gtUmljZSAodG9iaWFzLmdy KSA8bWVAdG9iaWFzLmdyPokCNgQwAQoAIBYhBPW8VTTDbwCHs5027xydxP6523xLBQJZUuJkAh0g AAoJEBydxP6523xLwEoP/iaVWdICefmaZ+bkdUg6hwTKxSPlYdLoaCxYI5V2NnZYXG0dy47E7WJP 4EmTDldcne4UG5NyCgXPSMZDNMqcddEMNbmlssTcLKyu6R/VvTcuL3pEhNoLzm9t2IHR/YGAHJIc pyfmJ3amGSlsbo6s6Vv+mbrJTRPIDpLUst/PDoGYihcSKTxoIw8RtNAy+FAliIdJ8ZuPA3BTxQei sQzgWJo68UInvnFp4juq0zupNDqKddemI8kZCRK/fFPBDD71nqiSJjx2tvbjkTiPU9gmTp7Nulgj ZATZIt0pUhn87w15ItzrsiEjTYCMTmHY5wnvyLarFKZLzQjgUJfsbv4WRJRnX0/EEJWMvMtSdtXL fjwTLrSGAr4vh13PMfE6uVkGkeCV/8BfGJqRE4zkI+QOVILw6VSAP6sdtGSGb52bcCuPj7p9zGIB IuKFudT+DzUb5uV2jbahSjJ8X4Ak/ruG2Hv3iICZawDpHV1JDNgY910KNi5T6gFrjFA2G6aiXDCO SlToLPnPBYH85UVOsp2VykE9AREKS7a7o76cibjwBNN+4xJqJRxhs9YH4JKzE3w/ptVnx49QFBGc pjPkzMTs7DtanD8iqL4J6afnycv9KqIlNJONaMHvzxeunV7QCsoF6DdusZJKFMexiDBaOFUmGFFS XfzK2oNjknx1QApyTPvh Received-SPF: pass client-ip=80.241.217.52; envelope-from=me@tobias.gr; helo=tobias.gr 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_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1664648285; 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: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature:autocrypt:autocrypt; bh=ZMJXyEWvqbwSiJFDx4QUqTenN3BUvk57yvgZMi6bcFQ=; b=FSwUV5m1hpfKZ8F5GI76UsNBoz7PhyNcSEJcwMW/cMRyQwAEPX8wQCaSXXC+v0ElmuxDXg SjcIYO2zZqrm7GHV2eSwLmVA8W3wvZQyhgf2zvTnnUl04Q1iDiwE7McBzdacy3eIb5dp3Y uET8qgfMw+K5pj4NZoYkj2qEXWZb/KAEedBWibuA2fGkmOOQw/Zbpb5+AjDomImPbglR0u MGvWQNA5jsmavSY6SriP4VQn723KrISVPvSjqJFYKexy84QDv7av+v2sZxucceVBwfmAAn RtjL9NQ1jXNcsFhCN2zBYQS+/mviuuEnLB0VN/ng4BoZYC1bKI9rlh+BZ2K8TQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1664648285; a=rsa-sha256; cv=none; b=PYRxox1kaReLf4C52KkcxJsFUeH5aUUj+X+HnYP3RCwjSdOdvkESqmANicYkThjrCY/RyS xvkJj1227hgOI9R6SDqojOd7sPikM/Yy7r22sH9GQp5IpA1ry82orbapB99g376Q5u7xli TsFC8n0wh+xypJqWcKtW+07uVa/v49e3GF+nmz92kMp5+LeMVhViWHsaVAai3EuGaL897/ ZkQyr1IynzKvFN8YKKGtB+n4wpUt2JzjGFehFg+cBMLnwcFJcJRit5Xpk5gZa3pvP09cEQ yrOH2ZrGHGVgUXamfVRha2wjecv1H9+lExpBYhEG1U0I4AJE5unNwvROlD/RRA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=tobias.gr header.s=2018 header.b=eGS0DO+v; dmarc=pass (policy=reject) header.from=tobias.gr; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -1.34 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=tobias.gr header.s=2018 header.b=eGS0DO+v; dmarc=pass (policy=reject) header.from=tobias.gr; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 1DDF329AE8 X-Spam-Score: -1.34 X-Migadu-Scanner: scn1.migadu.com X-TUID: CIBqk4e/h1C/ Quick note: On 1 October 2022 17:29:03 UTC, Ricardo Wurmus wrot= e: >If substitutable was merely a hint that a daemon could be free to ignore >it wouldn=E2=80=99t be any worse than downloading a substitute vs buildin= g >something locally=2E Substitutability has legal implications in Guix, whether or not it shouldn= 't=2E Any 'suggestion' would have to be a third state=2E Just something t= o factor into the decision=2E Kind regards, T G-R Sent on the go=2E Excuse or enjoy my brevity=2E