From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id cDEHDFusHWXA/QAA9RJhRA:P1 (envelope-from ) for ; Wed, 04 Oct 2023 20:18:03 +0200 Received: from aspmx1.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id cDEHDFusHWXA/QAA9RJhRA (envelope-from ) for ; Wed, 04 Oct 2023 20:18:03 +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 DFC9558CD2 for ; Wed, 4 Oct 2023 20:18:02 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b="L6geCqe/"; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1696443482; 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-to: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=qHhhH6oTaMqRCyupHqhZvMcgMSXrn+NhCoHyrKpNMbc=; b=sBoXYBiUg/4gVyzU8zDziAjXaVvH2UkcjwQT2wwTOmYHDkmRNaIBI8JisnSgAmLop8xPqg miqFXbnXk1gETHUfLtMVG+5dwJcRDqvvTE+BaxBOgGyigMLYCAJB36Btctp1UXXxxjlUB1 tMwDPXe8jiMEMIntx+T370t4Pfr/YYDOnAQsqEGRW7eHMJfmXacmKUlFhmgtAw2062Rgca DuscDX0hIuVWJBxsr4nFTelB3SsIMw4rcvSMxjlCE2fDpVRSHsfaohpLeH0vJu4y55mZxe YA5R8DvnfD+NiBtHBllqLA5yleZa0MlbC6s4iknOuO1WTxJJ/6CH3uvpTv1dDg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b="L6geCqe/"; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1696443482; a=rsa-sha256; cv=none; b=ezfbV8T30OuENEiVvdOzgnAjJ+wIqapinwqWWFYWO1iw7fUmGC3nkn8IGXYKFgZw35ZsU1 gfs/ZMgf0ABfLvFS65XKgYHBygGwSOLKbldR2jeDw0GshAlqpBP8N8d+gbE7N3acBf9t8F KBW5u6b7Wp0IZHHdj+tXFH/2IAu09sTCOcBg878e14kmnCIXZynRS9Mlxpfa4QkwkQxH4I OWy50EBCq1hG2z7QSbJZag031QFZKHKm+3DEBHH5xmF5RHx04cQfMsyIqsBxxXdUABusFF GtVWFOzPOK7ifsvQWc5d7WEKe9Pobqmtk2214/p7gcEhAI1yr7jOrbe1sn/sIw== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qo6QW-0008P5-6m; Wed, 04 Oct 2023 14:16:52 -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 1qo6QR-00084Z-IC for bug-guix@gnu.org; Wed, 04 Oct 2023 14:16:48 -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 1qo6QO-0001ap-VO for bug-guix@gnu.org; Wed, 04 Oct 2023 14:16:46 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qo6Qg-00051b-LX for bug-guix@gnu.org; Wed, 04 Oct 2023 14:17:02 -0400 Subject: bug#55178: ghc cannot find libraries of ghc-comonad Resent-From: Simon Tournier Original-Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Date: Wed, 04 Oct 2023 18:17:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 55178 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: cschumac Cc: christoph.schumacher@mathematik.tu-dortmund.de, 55178-done@debbugs.gnu.org, Lars-Dominik Braun Mail-Followup-To: 55178@debbugs.gnu.org, zimon.toutoune@gmail.com, christoph.schumacher@mathematik.tu-dortmund.de Received: via spool by 55178-done@debbugs.gnu.org id=D55178.169644339519235 (code D ref 55178); Wed, 04 Oct 2023 18:17:02 +0000 Received: (at 55178-done) by debbugs.gnu.org; 4 Oct 2023 18:16:35 +0000 Received: from localhost ([127.0.0.1]:45298 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qo6QE-00050B-Ol for submit@debbugs.gnu.org; Wed, 04 Oct 2023 14:16:34 -0400 Received: from mail-wr1-x432.google.com ([2a00:1450:4864:20::432]:38176) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qo6QD-0004zw-F3 for 55178-done@debbugs.gnu.org; Wed, 04 Oct 2023 14:16:34 -0400 Received: by mail-wr1-x432.google.com with SMTP id ffacd0b85a97d-32337a39009so28984f8f.1 for <55178-done@debbugs.gnu.org>; Wed, 04 Oct 2023 11:16:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696443369; x=1697048169; darn=debbugs.gnu.org; h=mime-version:message-id:date:references:in-reply-to:subject:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=qHhhH6oTaMqRCyupHqhZvMcgMSXrn+NhCoHyrKpNMbc=; b=L6geCqe/Mend1PDMJCk5nVAPGeFNEJLgZpxveOc6syteg/DKuZ79nxXJ74fv+QlyPn /gYpMbqEYrofvXLjp4EuayjL5Rt6LWIJLIdi/pdkaGaczrX7zrYJMyHEk+jSxGD3R6Jp qthjJSIfCZEJQ+8Evt5yzzrPQB1AeO85K2O4ZpDXO3jwcvrUxW5qVmdvh1EsLgbYLTDU TfPmmWX8GM3/STX44q/13fupeaTO0+YYnFpMZEHKQr6qtONGjAoDat8v9wnK9IdxgMlG YerrSJgFSiYXR3YkbDl3R5efv2jfbuaFC8hGqG6GArccViEdjktekZrpXjtqIpUfC16t bxHA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696443369; x=1697048169; h=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=qHhhH6oTaMqRCyupHqhZvMcgMSXrn+NhCoHyrKpNMbc=; b=ifedCUvRwt1VIF7xxef5ZqYlVsuWQG/+MHy3lCSKhfwYYgcHekd4GEmCp21LX6sa+f ZcYr3vH4HPvLTsWe2OIcRGk0RSFQvO8c8DmKxtBx3vcsMa5Fl/BZDFvZChY84Sk2fDID JbKH+DHdBJgfzmxwj4JGw2SBlwb1fTGP5XpDirkW8zyIXEwQVTq3dtKx1yN4nXGw5kxB yVz4GVIL3f5jAlRrJQ4ZHQMAJNp4qGDZkWzOeo/rSYNzs4DImyzDH0GpWgCI3Dzb/iRF H6DZH9AquAboz5GqS76GJHZiMZIwmcSLww87vW54m0y6fsX8RejFl/EJ0qUEsnCj91gm DJ9Q== X-Gm-Message-State: AOJu0Yx8NphYASKyleQK8BO1f5iFgGV8lfpu/471Opm70Ma4oyXqqdH5 qXXuoL0XMbnaZigFgnDsPLOsT+utSks= X-Google-Smtp-Source: AGHT+IEuG8uX+iAPR5XHhahGXgU0ngPyg3YWzlizCz9BgLlf4D583S3SifP7BdmIFfVrtfmyPC0gFA== X-Received: by 2002:adf:cd09:0:b0:322:5251:d786 with SMTP id w9-20020adfcd09000000b003225251d786mr2494523wrm.5.1696443369575; Wed, 04 Oct 2023 11:16:09 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id e11-20020a056000194b00b0032320a9b010sm4569850wry.28.2023.10.04.11.16.08 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 04 Oct 2023 11:16:09 -0700 (PDT) From: Simon Tournier In-Reply-To: <4845a4f01aefc8e8f4e893bf74e211cb@mathematik.tu-dortmund.de> References: <27d96a4a345b1d66cb4108dbfa27e79e@mathematik.tu-dortmund.de> <87wmwi6ttb.fsf@gmail.com> <4845a4f01aefc8e8f4e893bf74e211cb@mathematik.tu-dortmund.de> Date: Wed, 04 Oct 2023 19:59:36 +0200 Message-ID: <87zg0yz2t3.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain 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: -4.66 X-Migadu-Scanner: mx2.migadu.com X-Migadu-Queue-Id: DFC9558CD2 X-Spam-Score: -4.66 X-TUID: hm/8uJhKzY6/ Hi, On Tue, 03 Oct 2023 at 23:29, cschumac wrote: > yes, the solution works! Cool! I mark as done. Cheers, simon