On 06/07/16 04:16, leif wrote:
If so, should we change also the spkg name? (may be we should not, so
> people will really upgrade?)
That's not a problem, since Sage releases and specific spkg versions are
now stupidly tied together (even for optional spkgs).

Upgrade has to be handled carefully - the new spkg
has to remove the old install whatever its name is.

As for Leif's comment it has always been mostly the
case for sage the distribution.
I have a bit more freedom in sage-on-gentoo but not
all that much. If anything I am sometime pressured to
push upgrade in sage.

Francois

--
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to