From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id +FvRAiq1Gl8uPAAA0tVLHw (envelope-from ) for ; Fri, 24 Jul 2020 10:17:14 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 4Nk9Oim1Gl95aAAAB5/wlQ (envelope-from ) for ; Fri, 24 Jul 2020 10:17:13 +0000 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 8E49D94053E for ; Fri, 24 Jul 2020 10:17:13 +0000 (UTC) Received: from localhost ([::1]:46724 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jyulM-0006St-3g for larch@yhetil.org; Fri, 24 Jul 2020 06:17:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45438) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jyulE-0006SE-5x for bug-guix@gnu.org; Fri, 24 Jul 2020 06:17:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:35320) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jyulD-0007Mz-Sh for bug-guix@gnu.org; Fri, 24 Jul 2020 06:17:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jyulD-0002fi-ON for bug-guix@gnu.org; Fri, 24 Jul 2020 06:17:03 -0400 Subject: bug#42385: guile-based jupyter kernels mix guile3 and guile2.2 Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Date: Fri, 24 Jul 2020 10:17:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 42385 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Jesse Gibbons Mail-Followup-To: 42385@debbugs.gnu.org, ludo@gnu.org, jgibbons2357@gmail.com Received: via spool by 42385-done@debbugs.gnu.org id=D42385.159558580510202 (code D ref 42385); Fri, 24 Jul 2020 10:17:03 +0000 Received: (at 42385-done) by debbugs.gnu.org; 24 Jul 2020 10:16:45 +0000 Received: from localhost ([127.0.0.1]:46859 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyukv-0002eU-02 for submit@debbugs.gnu.org; Fri, 24 Jul 2020 06:16:45 -0400 Received: from eggs.gnu.org ([209.51.188.92]:51852) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyukr-0002eE-7j for 42385-done@debbugs.gnu.org; Fri, 24 Jul 2020 06:16:43 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:42128) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jyukm-0007KY-1A; Fri, 24 Jul 2020 06:16:36 -0400 Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=49012 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jyukl-0005WV-7y; Fri, 24 Jul 2020 06:16:35 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <87lfjey20u.fsf@gnu.org> Date: Fri, 24 Jul 2020 12:16:32 +0200 In-Reply-To: (Jesse Gibbons's message of "Mon, 20 Jul 2020 08:22:40 -0600") Message-ID: <87pn8lb4lb.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -3.3 (---) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 42385-done@debbugs.gnu.org Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Spam-Score: -1.01 X-TUID: LqKNjD0tWhQI This is now fixed by commits c984b70ccb0037406f36d2718c4bbb9a5539e7a3 and 3a27a3dc8fbaf78a639d3e44267cd21c9adb9a7f; closing. Thanks again, Jesse! Ludo=E2=80=99.