guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#60042] Julia dependency on Git


From: Leo Famulari
Subject: [bug#60042] Julia dependency on Git
Date: Tue, 3 Jan 2023 12:59:36 -0500

On Fri, Dec 30, 2022 at 02:15:29PM +0100, zimoun wrote:
> Therefore, to avoid the confusion I would suggest to use /pinned instead
> of /fixed for this stable meaning.  Hence, 4 renaming.  WDYT?

I agree we should improve this confusing situation.

An alternative approach would be to replace meaning #2 with /grafted

I don't have a preference either way.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]