Re: why 'package --remove' download stuff?

2020-02-14 Thread zimoun
Hi Leo,, Thank you for the explanations. On Fri, 14 Feb 2020 at 02:16, Leo Famulari wrote: > > On Fri, Feb 14, 2020 at 01:54:53AM +0100, zimoun wrote: > > Hmm? Okish... but it is really annoying. And I do not understand the > > reason of this. > > The reason is that, after you made the last

Re: why 'package --remove' download stuff?

2020-02-13 Thread Leo Famulari
On Fri, Feb 14, 2020 at 01:54:53AM +0100, zimoun wrote: > Hmm? Okish... but it is really annoying. And I do not understand the > reason of this. The reason is that, after you made the last profile, you ran `guix pull`. Some package that is used to build profiles was updated in the `guix pull`

Re: why 'package --remove' download stuff?

2020-02-13 Thread zimoun
Hi Julien, Thank you for the explanations. On Thu, 13 Feb 2020 at 19:30, Julien Lepiller wrote: > Le 13 février 2020 13:03:02 GMT-05:00, zimoun a > écrit : > >--8<---cut here---start->8--- > >$ guix package -r gmsh > >The following package will be removed:

Re: why 'package --remove' download stuff?

2020-02-13 Thread Julien Lepiller
Le 13 février 2020 13:03:02 GMT-05:00, zimoun a écrit : >Dear, > >In my '~/.guix-profile' managed in imperative style, I have a package >(Gmsh) installed with an old version Guix. Then updating a particular >package (Guile) in this very profile, there is conflicts (gmp) because >of the Gmsh.