From mboxrd@z Thu Jan  1 00:00:00 1970
From: Julien Lepiller <julien@lepiller.eu>
Subject: bug#39151: Dry-run doesn't say everything
Date: Thu, 16 Jan 2020 10:07:03 -0500
Message-ID: <91AAB8DB-1673-4813-8A53-BBCFE5F47A55@lepiller.eu>
Mime-Version: 1.0
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane-mx.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:58986)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1is6ke-0007Ds-8I
 for bug-guix@gnu.org; Thu, 16 Jan 2020 10:08:05 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1is6kd-0006p1-4t
 for bug-guix@gnu.org; Thu, 16 Jan 2020 10:08:04 -0500
Received: from debbugs.gnu.org ([209.51.188.43]:60502)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1is6kd-0006og-1L
 for bug-guix@gnu.org; Thu, 16 Jan 2020 10:08:03 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1is6kb-0007sy-T5
 for bug-guix@gnu.org; Thu, 16 Jan 2020 10:08:01 -0500
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.39151.B.157918724030262@debbugs.gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:58848)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <julien@lepiller.eu>) id 1is6jp-00061P-QS
 for bug-guix@gnu.org; Thu, 16 Jan 2020 10:07:15 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <julien@lepiller.eu>) id 1is6jo-0006NX-Px
 for bug-guix@gnu.org; Thu, 16 Jan 2020 10:07:13 -0500
Received: from lepiller.eu ([2a00:5884:8208::1]:47192)
 by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <julien@lepiller.eu>) id 1is6jo-0006LD-6c
 for bug-guix@gnu.org; Thu, 16 Jan 2020 10:07:12 -0500
Received: from lepiller.eu (localhost [127.0.0.1])
 by lepiller.eu (OpenSMTPD) with ESMTP id e88024de
 for <bug-guix@gnu.org>; Thu, 16 Jan 2020 15:07:07 +0000 (UTC)
Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 6e2c2d5c
 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <bug-guix@gnu.org>;
 Thu, 16 Jan 2020 15:07:06 +0000 (UTC)
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
 <mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
 <mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane-mx.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane-mx.org@gnu.org>
To: 39151@debbugs.gnu.org

On a recently installed system, I ran guix install coq -n=2E Guix told me i=
t would download 270 MB and do 4 hooks=2E Guix install coq however told me =
it will 521 MB (which it did) including a lot more packages (including coq:=
ide),the same 4 hooks with different store hashes and additional grafts=2E =
This was quite unexpected :)

Once coq is in the repo though, guix gc will remove coq:ide and dependenci=
es, and re-installing coq in a new profile will not pull coq:ide in anymore=
=2E Note that coq was grafted=2E