Hi Leo,, Thank you for the explanations.
On Fri, 14 Feb 2020 at 02:16, Leo Famulari <[email protected]> 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 profile, you ran `guix > pull`. > > Some package that is used to build profiles was updated in the `guix > pull` and now, to make a new profile, you need to use that updated > package. There are profile hooks that do things like build the man page > database, and maybe those packages were updated. > > Does that make sense? Yes, it makes sense but it is totally counter-intuitive. :-) Well, it is a bit hard: remove a tiny package and then big packages such as GHC are downloaded. I will see if I can improve the doc or something else. Thanks, simon
