From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id uL+kM2WWVmCZNgAA0tVLHw (envelope-from ) for ; Sun, 21 Mar 2021 00:42:13 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id SOWdL2WWVmC0QgAA1q6Kng (envelope-from ) for ; Sun, 21 Mar 2021 00:42: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 352FB15059 for ; Sun, 21 Mar 2021 01:42:13 +0100 (CET) Received: from localhost ([::1]:56232 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lNmAV-00029F-47 for larch@yhetil.org; Sat, 20 Mar 2021 20:42:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57844) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lNmAK-000298-Rj for help-guix@gnu.org; Sat, 20 Mar 2021 20:42:00 -0400 Received: from mail-wr1-x42e.google.com ([2a00:1450:4864:20::42e]:42627) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lNmAJ-0002Bn-C9 for help-guix@gnu.org; Sat, 20 Mar 2021 20:42:00 -0400 Received: by mail-wr1-x42e.google.com with SMTP id x13so12885530wrs.9 for ; Sat, 20 Mar 2021 17:41:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:in-reply-to:references:date:message-id:mime-version; bh=p18wTXZ9LVxHhV5TZvAcsmkCMQO+8QKQt7YPsgZHT1M=; b=po+GPjmIw7XFqBnwQsgbONo32L3zTM4QBYnCcxz39JqTqFvty0yG7Nu9VU5s75PDB7 +iKscHdi2hY1pDBwcNHI7hPR/d53/MdvX6DhKjyGqEOkgU8cK7S4mUYhCLsRt7Aj/4zo bNMI1rdYGVKvUsRLf6pcDFrreiWX+01GRtMXWYvNUT3N6NJmRvFU+5quV3YnQdxgital wZsBvZvW/w5ggbPxYN7OZY4kNUymy7Af8AzBBCtPP/mWNWTX2bbqUN6NVRr1eAIaH8cS THCktlDHTlOOTult7e8pAAP0bX+p2zkyYaH/SJj/6GRCpwnqMdLTaeCnonKd9TkB4y9J zuUw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:in-reply-to:references:date :message-id:mime-version; bh=p18wTXZ9LVxHhV5TZvAcsmkCMQO+8QKQt7YPsgZHT1M=; b=frDVKzzSM40KTDE1+s/9JZ5Iri1P/u4+ieszW7Hq2u6zA/+JHWnBsoYKHI3khXyXRS 7ePC3wsGI9PVw2NZUUF4FzHYIL97JS6VKM/BmVbtqIJghnyCHNA3kjc7O/qZ8h1tl+S3 sTuCiI5cHX4uAT4va5lG8FKaeNzHGn+YWoo9hNK5rJyG/RBhQV3BAPlNED3vvGRmx7ou CMP6EhWU6OWr/QZdEjAqUZdq+yvZI53nq1b3Uw4zXVP5DgoML0zgIPJYpZOT/qmr8qdD cmNrmbC2rEQorNisjWSDp5WbNLVfvMB2wQo3jrtZf+Qx8u3YY/GgabVgSlSssq+urLY4 FUmA== X-Gm-Message-State: AOAM531jdzXMx4TCi4PWEwI+lnxYHo2whdJM/uXHPYY2TBab80Hk284K Q7yU6hF1UZAIIxyCL97IF2I= X-Google-Smtp-Source: ABdhPJzYqy8kgkdxwYi1rnUAFzKNhjaa21K+SxJnWXRSGcsfNKdtp+fg8aNbyPnAUAveDmrK0fDdFw== X-Received: by 2002:adf:fe48:: with SMTP id m8mr11136683wrs.135.1616287316912; Sat, 20 Mar 2021 17:41:56 -0700 (PDT) Received: from lili ([2a01:e0a:925:4d20:1002:72b2:7492:ea32]) by smtp.gmail.com with ESMTPSA id w6sm14747368wrl.49.2021.03.20.17.41.56 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 20 Mar 2021 17:41:56 -0700 (PDT) From: zimoun To: Julien Lepiller , help-guix@gnu.org, yasu Subject: Re: Bug? coqide missing? (in package coq, version 8.11.2) In-Reply-To: <6A74F875-3E74-444B-94DD-ECDB4BAF1069@lepiller.eu> References: <751596538845b1dc9ec134d0148301f964b44246.camel@yasuaki.com> <08B18747-D14D-4D0E-91ED-A7E06BCFAA77@lepiller.eu> <86k0q1wzif.fsf@gmail.com> <6A74F875-3E74-444B-94DD-ECDB4BAF1069@lepiller.eu> Date: Sun, 21 Mar 2021 01:34:48 +0100 Message-ID: <86pmztuyxj.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=2a00:1450:4864:20::42e; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x42e.google.com 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1616287333; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to: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=p18wTXZ9LVxHhV5TZvAcsmkCMQO+8QKQt7YPsgZHT1M=; b=iMdV0vO2BK7BgHB3hId22sk25vHOKaeAbEahx2Dax9nipUIIXFzXBV34uWTG8q1/oiEJa2 mrqM68iar4q72F6mO4vmleW3nqX47qQAvxJXntQ4U911b8rsXjAUS9lMYyKcNMJr7+YfYc eD42viaVYkdqUgF3RayKm83GuYxK5ZP4FUuKjVL0ggj4xxQ0BdZB01MS/Cv0Yuzk7kQZnT jrxWrtEwF3SxNsaGoCQdW70N6XjuPDHion50YsDlNzcXHwG6Q5Z55ErCBEubDtrh1k8Zmo /ekqwFN4tIIKYX7EOLh1sJSn7nxotguDx9nnbyKpCymWVc3YKQxuIBjDSd6hmw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1616287333; a=rsa-sha256; cv=none; b=rW8Ct4GExkY3a63wzaG34ddyK8T2MqdQahDfZcyftZM74tVhz72iTKADzaRjkKQvdZnB54 tb7vPc+NYl76y92bUPkyj7O97wURkw+e3tUmXegJLYN5QbRYkz46ArdYDp7cIig0gnNa8o 5snA/SaqJSIsfzL0sjQIpiZQGr4jGmLMf4cPCaxwYUvrun7bS2U+BmHjAqbosP5UGiPf4p tuyMaWgLnBrO53MmX7P8BPQj87t7iybwuSgGMdczhOWJInktrzwShQY8NsV/LzYyycqoQF VV4lPtfyTmz7SYJKvJkGHvgM5eJfcYRfqJr6+hzYtqLQ1vw7QWBeKCQBbdUopQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=po+GPjmI; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Migadu-Spam-Score: -3.11 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=po+GPjmI; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Migadu-Queue-Id: 352FB15059 X-Spam-Score: -3.11 X-Migadu-Scanner: scn0.migadu.com X-TUID: WEacUEKcJGQ4 Hi Julien On Sat, 20 Mar 2021 at 19:53, Julien Lepiller wrote: > guix size coq -> 869.7 MB > guix size coq:ide -> 1557.0 MB Yeah, but you have a high probability to have already have these dependencies. > Almost twice as much, because this brings in graphical > dependencies. Separating packages to multiple outputs can reduce the > closure size of some outputs, but if you build the package, you get > the same number of dependencies as if there were a single output. You > have everything to gain if you get substitutes, and nothing to lose if > you don't have any or want to use the more expensive output. You loose what I wrote: more dependencies and less discoverability. :-) I agree it reduces the closure size. But it is not different to have different packages using inherit, right. Well, it seems a matter of taste. :-) Cheers, simon