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 ms13.migadu.com with LMTPS id QFcsBezjzWaDOwEAe85BDQ:P1 (envelope-from ) for ; Tue, 27 Aug 2024 14:34:20 +0000 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 QFcsBezjzWaDOwEAe85BDQ (envelope-from ) for ; Tue, 27 Aug 2024 16:34:20 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=pzJvfSZL; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=nLfDv8pL; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1724769259; 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-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; bh=ZxpWrizplPrYbQqikdqdhcE2wCWlWnvrtnkY4o3R3HE=; b=iZ5DJSN4Wb3u4nw+Ezz1IYljlk74rmUar4KqH1wro3iAEUcbAHHr5fN433Ui1iYBD6Wyr1 tlqBAcCLcAO1/9yWYDxiyLf87Zi9wSTcNoPFBAk8vhsYRTY10us4zE8mY+AQDufRBpx0p3 IOd/oJOmEkjnSd8G9FlnTtT/sDILyAVKswSftRdJ2HGKRB2wCT5+522JsNUmVxYVOdxJRw WY1lkiII7di+cZD0HxyVI93/8qRObZ/u8S1/jEUsJvry4ISmwTqqx20A1xjFtow1BUBJZj VL9UED0vG+gX6d2J96MHtO4G2zM7zBdh3mMPH531A35C7v2NiTEjPEPrxHsCpQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1724769259; a=rsa-sha256; cv=none; b=Tp04V7cnG1rzS7G4RWxCDEOJ0TeO7x+Z5osFAL/TZQoj+h+aVJr00rbMzCSaZ6eMSU+wI6 YDpsRownTsg0u5CYG6en6ludPRDtL687XQFdYozKp42I1mDue2oNzdijG4PH8A/xT3VIkR A8smPfFKlPRzuzhioMJERFqD/KvjWsXkuIRvjNyTW9sgmLZWRbzBxB12K44rSnf6W226Ej DjpcGjFOB+9Ae+bRys8uxwCWdeKoOM2cXPRyXVX2e+GIYKNMj9Jxpdr7jAcrSc54YaWiC0 S+Mv4EM7PZAjuTKL/IUtIzZi90iB/J7Zty/n9xaxKJoSkGQVXrr5bgLtvyJOxw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=pzJvfSZL; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=nLfDv8pL; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" 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 C1F8C3CDDF for ; Tue, 27 Aug 2024 16:34:19 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sixGt-0004Bu-KR; Tue, 27 Aug 2024 10:34:11 -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 1sixGs-0004Bi-ON for bug-guix@gnu.org; Tue, 27 Aug 2024 10:34:10 -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 1sixGs-0004ya-FJ for bug-guix@gnu.org; Tue, 27 Aug 2024 10:34:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:References:In-Reply-To:From:To:Subject; bh=ZxpWrizplPrYbQqikdqdhcE2wCWlWnvrtnkY4o3R3HE=; b=pzJvfSZLA9vwZVYQZPsJZ5vDyTX2gbaFUAQZIkVFr0m1OT8Jkz8Bqmjq5zMxRijgoE1B/Y7eSVhLnecYyhQrttY3NuTBEr0ZcC04WUyoK4XjPfifPfD9MBdtI7lETgB29ROqe+66F9vaJN8E+Ab3tYQq+scvDCZQlWZ6fn2IG0exIAWFhV99osQQ/DvEL1siSwTBZIKw2kVApO4Ci37Ekjsi1k9wOp56oEwJXm8AvdJtN6K69z4d7mvVr1Nu07rpocJNdFsiRaz6/4zeaimz39UpURn8Guc9n5enCC1o2CnaYQLJUHM2k9CREzxHaA+osX+n/9mZpn+H8NKNlyWQSw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sixHi-0006OH-4e for bug-guix@gnu.org; Tue, 27 Aug 2024 10:35:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#72061: Discrepancy when running =?UTF-8?Q?=E2=80=98guix_?= =?UTF-8?Q?pull=E2=80=99?= from different machines Resent-From: Simon Tournier Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 27 Aug 2024 14:35:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72061 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Konrad Hinsen , 72061@debbugs.gnu.org Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= Received: via spool by 72061-submit@debbugs.gnu.org id=B72061.172476927024513 (code B ref 72061); Tue, 27 Aug 2024 14:35:02 +0000 Received: (at 72061) by debbugs.gnu.org; 27 Aug 2024 14:34:30 +0000 Received: from localhost ([127.0.0.1]:47138 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sixHB-0006NJ-Iy for submit@debbugs.gnu.org; Tue, 27 Aug 2024 10:34:29 -0400 Received: from mail-wm1-f43.google.com ([209.85.128.43]:48184) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sixH5-0006My-ML for 72061@debbugs.gnu.org; Tue, 27 Aug 2024 10:34:27 -0400 Received: by mail-wm1-f43.google.com with SMTP id 5b1f17b1804b1-428119da952so49649265e9.0 for <72061@debbugs.gnu.org>; Tue, 27 Aug 2024 07:33:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1724769145; x=1725373945; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=ZxpWrizplPrYbQqikdqdhcE2wCWlWnvrtnkY4o3R3HE=; b=nLfDv8pLj1znRKL0yOObXt5LKbqdgZ5hHsmr6w3GfDGvrrqUUY6OKrVxGL4g5usjoU Thv0hpcya0qtbOEcmdncyfrcI4ZOElou+wcMfdCyp0QvycFdmnP9IfrJnNm8qMKqeYYX /6Mf6eLFulRVow8vxNJNBONhUO1f0hELskZIIBhbiXpfqRuJAuUqTEvVAejGR9n0vjt1 Es/y92q0tQS4D7QKZKXLbZisbayNy3jHQPrDXIvbp1EY9I1vaZVKdIXFdCLM5q9p73Yv EcLwgAj4E8oh7UwJb4thi4MXGPUsIAaTYh0Exk+6JwusYtexd+zj4c7Kn64V+wUqO8Zh vpAw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1724769145; x=1725373945; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=ZxpWrizplPrYbQqikdqdhcE2wCWlWnvrtnkY4o3R3HE=; b=gFNpdBC8n+Xt3YqGhk46sj4C63PoYD05OmqkKgoxmovkufOEwkEly6AZHKD/asyeJy 54jssLxACArLTkPrGcpWVvWcZurERzopq1PccPJbdTDKALe+EMyEU2ilkRuSmj32wmon vie0KrDTFC8igP7JHAM01ESs6eRxuYYkNxuRFaFB8/bNYwea68chwUx4MEK5ckU8jh60 Qa1CDYnSGmOYgdfFbACYi1RVBVtmQKVU7bLGDAV+TnccgsTCzYqW6qrCpfkLVZ2NGGxL BwTx8qdx3jLa7m3qP2xGGw0X0o06ZIGWPUc6QNvUfypdEzFDxi90K7+AMC5U7fNMspIK jYpg== X-Forwarded-Encrypted: i=1; AJvYcCUi9vzF5AbKGC2RrUK1AND4J/Xwry8GET6jUU18C2rF7WL7kvo5GNDwizMUQaAa+9FJYnwTFQ==@debbugs.gnu.org X-Gm-Message-State: AOJu0YxXYxDsrgIPIHxKAvAKVZCAMuiTlSl0aULaHcjKcTs8if0b69QL INiaS/RzUgvC+fwhTnDIJK+bW8o2aBo+6Rc861UHP6LoAdUW4hLj X-Google-Smtp-Source: AGHT+IGJLG2gzccbtG+Duq/FZcHEZXNPTVzXXo9uSAQAG3U1UYpXGwBdpGsmy/0Gyu2k/XMpKl1aoA== X-Received: by 2002:a05:600c:3516:b0:426:5e8e:410a with SMTP id 5b1f17b1804b1-42acc9f66a7mr105345385e9.24.1724769144682; Tue, 27 Aug 2024 07:32:24 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:33a5:6ba2:89d2:54ee]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-42ac516251fsm184972355e9.25.2024.08.27.07.32.23 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 27 Aug 2024 07:32:24 -0700 (PDT) From: Simon Tournier In-Reply-To: References: <87bk34113k.fsf@inria.fr> <87msm7dlae.fsf@gmail.com> Date: Mon, 26 Aug 2024 18:38:54 +0200 Message-ID: <87ed6bi6ht.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -7.41 X-Spam-Score: -7.41 X-Migadu-Queue-Id: C1F8C3CDDF X-Migadu-Scanner: mx11.migadu.com X-TUID: TbjoysoQ6s0V Hi Konrad, CC: Ludo, do you think it comes from the commit c14b8636fb: =E2=80=9Crecord= s: Do not inline the constructor.=E2=80=9D? On Wed, 24 Jul 2024 at 21:35, Konrad Hinsen wr= ote: >> Could you share the channels.scm file? > > Attached. Thanks. Do you know what the current Guix revision? It should have no effect but who knows. :-) I mean, guix-daemon had been updated. Has the Guix command launching =E2=80=9Cguix time-machine=E2=80=9D been updated too? >> Because the mention of =E2=80=99guix-science=E2=80=99 means third-party = channels, I >> guess. And maybe there is something tricky when mixing different >> specific pinned channels. > > I thought about that as well, but the behavior should still be the same > on every machine, right? For me, the attached channels.scm works fine. Yes. But there is a "Computing Guix derivation=E2=80=9C in the middle. :-) If I read correctly, this error message: > guix time-machine --channels=3Dchannels.scm -- =E2=80=A6 > guix-science/build-system/node.scm:119:2: error: #{ %make-build-system-pr= ocedure/abi-check}#: unbound variable > hint: Did you forget a `use-modules' form? comes from the macro =E2=80=99define-record-type*=E2=80=99; see module (gui= x records). (symbol-append (string->symbol " %") (syntax->datum #'ctor) '-procedure/abi-check))) That=E2=80=99s weird, because all seems correctly included, i.e., the varia= ble should be bounded. Well, the revisions from the channels.scm file reads: guix-science: 12eba5aa0c5cbf357c476ef7872e0d562d054eff CommitDate: Wed May 22 17:40:02 2024 +0200 guix: 325fed4c1514bffd084355455710fcc3f1c8da2c CommitDate: Tue Jul 16 10:28:05 2024 -0500 And the file guix/records.scm had been modified by: records: Do not inline the constructor. c14b8636fbac9826115f4524d500536d54c15625 CommitDate: Sat May 4 19:14:24 2024 +0200=20 Change-Id: Ifd7b4e884e9fbf21c43fb4c3ad963126ef5cb476 Is the current failing Guix running a revision older than May? Cheers, simon