From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id ULJqFTnMfWQ/RQAASxT56A (envelope-from ) for ; Mon, 05 Jun 2023 13:51:21 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id KCEpFTnMfWS1QQAA9RJhRA (envelope-from ) for ; Mon, 05 Jun 2023 13:51:21 +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 353F93469 for ; Mon, 5 Jun 2023 13:51:20 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=jpoiret.xyz header.s=dkim header.b=ptoCNgj6; dmarc=pass (policy=reject) header.from=jpoiret.xyz; 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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1685965881; 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:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=LRpXoAVVGVPDtt+lU5JdnayiW0lPaEbErhVarlMtrzs=; b=htWGs25pYwikmhBHPpafM9gAhaozOSJI8+sRJL6bc6vOc/uwJKJURg0xi1k7yyHZTI2ai9 E7ajmc3Qe79Y4e9sYW0tPgBeIddyxstYblFXlRCGYMothHJYr/AXbN+PSRytSrtJ8xpzT9 IK8AkUfRXCJyFge1wG17LhXYPJwJinsadxRol+TE7O3EXqDoPZzbNjzRzFzpAURap4O6PU ck9AdJKjkaM5Pn8yP9N4eFziMtvJbu/YUgoFY4ouk6EsKNuUdl80b1eZRFjqYk5Eu00pOk Es2vhxjy1jIFBgznVjL2CdmamcY9Z8OMgtLakHlTCc/YvPjh3lwF9jHAbZb1fw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=jpoiret.xyz header.s=dkim header.b=ptoCNgj6; dmarc=pass (policy=reject) header.from=jpoiret.xyz; 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" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1685965881; a=rsa-sha256; cv=none; b=lk6FtBe+PZHAiDeIXuDTuofRU9D54TGT6uzijRAzMQOS1sVtXK7lO1n9aUA/bdZ+CyfIO8 hA3e70zBHnaEN/JebOaF3cXNAwp9eRqT88UmF+cYke7ykBoPjRhhYE6PhirR9kF8ikO/Rw W5FNotsl/v/jaMqOi9AEas7BL8k7OuyeSavXJGm5wwEmUhMErVCiZnljBEuJj2z2zxLtfK WKOubP2c3RRJOXySOezLePnk82YiHCgxtiPqv2cVTnEAn8TIU0gdMIDvZ6HuvOc5tLWUYc RoT3e2+DMFxyPqaSXQEFRQ8DKTy7f66IL3MoTRGWEnFk4eA02fSu+trDUuBrhw== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q68i6-00086l-Lu; Mon, 05 Jun 2023 07:49:18 -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 1q68hx-00081g-Dr for guix-devel@gnu.org; Mon, 05 Jun 2023 07:49:12 -0400 Received: from jpoiret.xyz ([206.189.101.64]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q68hv-00039a-TD for guix-devel@gnu.org; Mon, 05 Jun 2023 07:49:09 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id C9A6C18540C; Mon, 5 Jun 2023 11:49:00 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1685965743; 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; bh=LRpXoAVVGVPDtt+lU5JdnayiW0lPaEbErhVarlMtrzs=; b=ptoCNgj6LuMeFN6rz3h1CXLz/yIB3dtAx06Mdmvvm8DcSJDYr7+Bar2bxMo4KwtSFI3EBp xS+Werpqse7QdnD9Vy63oFY1YbQ73O6DlaYzuO2BawZ7h47d5WvoDLmHgJtjRj0NtRE59Y pTtC2R9B1FC4bDVDOSoZuH6aKOG5PDxz6i6dSYeaiDGmsPtw+N0/D8j/o6D2yOh7WThRQ0 ljWJl7CCqXwDg6gWWpg3pNzNlmkt5/J9OonSaG3RCYbNxT+cF5sVevPtLWalpk0Bjc5lwo KZaFAGvxyXgJUi6cb+H6qf2NdNjn3YdFzurjlu7UlL+sh+91yKN+WMTvLFomFQ== From: Josselin Poiret To: Efraim Flashner , Christopher Baines Cc: guix-devel@gnu.org Subject: Re: 02/03: gnu: openblas: Update architectures we provide substitutes for. In-Reply-To: References: <168560801502.2735.15747711991420829133@vcs2.savannah.gnu.org> <20230601082655.B4449C23EC5@vcs2.savannah.gnu.org> <87wn0l5xkk.fsf@cbaines.net> <87ttvo49wh.fsf@cbaines.net> Date: Mon, 05 Jun 2023 13:48:35 +0200 Message-ID: <87r0qq86zw.fsf@jpoiret.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spamd-Bar: / Received-SPF: pass client-ip=206.189.101.64; envelope-from=dev@jpoiret.xyz; helo=jpoiret.xyz 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, T_SCC_BODY_TEXT_LINE=-0.01 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: UNKNOWN X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -6.47 X-Spam-Score: -6.47 X-Migadu-Queue-Id: 353F93469 X-Migadu-Scanner: in3.migadu.com X-TUID: uOFnjXZBiled --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi everyone, Efraim Flashner writes: > It seems I was wrong, changing the #:substitutable? flag _does_ change > the derivation of the package. Is this expected/something that should be fixed? It does seem to me that this shouldn't happen, but maybe there's a good reason for this behavior. Best, =2D-=20 Josselin Poiret --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQHEBAEBCgAuFiEEOSSM2EHGPMM23K8vUF5AuRYXGooFAmR9y5MQHGRldkBqcG9p cmV0Lnh5egAKCRBQXkC5Fhcain10C/48roSn//+UtCRZ8BtrGO1Ft+V8Ino24EJQ zMSdGSapEIIXN31xrewM38kZm32ZhccNkWohrrVFcBBNu4wDFjyi37ngaVpftoT7 Qtf03hF4cdx7Ecp4pgYd3QAWOI7COE+7oq/Uz2LtnlzBPa1aAL+QYX9pNvLyjDM9 OQ7mLTOhRjOmoOyUjRZH0/Vu1WsvOHUKRIUDWxd0Aq0D9ChwM0S/uMZVtWqd8XVQ +nku7ujAowtjGs0LmJHPg2xadw+wxaixgOHwx9r1S6zhS0gMJFf11JFVd6a/Ujfw 4LKhQoqkos6YlhA038S3z1n+cZT2Y2QdlBynd2HS3UPiXdJq4e89wjgkC+cYkKN6 NJavFJKMPjnNecH2BDlmIHMJi9yGSALz5W8fXqgrg1bMjFaaQopPbpqcD/LQALJy /UVg2B0IJQhPW8hfc/JLDFoG4IrXdDNRwCISEa8wo8sU72k9bTbDu5u89Q++K1y8 eWKLCsNbtw/Sqjw7y9OFnc90LVicU+o= =jSv7 -----END PGP SIGNATURE----- --=-=-=--