On Mon, Nov 17, 2014 at 9:29 AM, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote: > We should really *remove* the optional package stein-watkins-ecdb.
I can do this, but it would break for older Sage installs, right? The bad one is in the "huge" directory, whereas the good one is in "upstream". Besides that, there are three different instances of it in "upstream", do we need them? .../packages$ find -name "*watkins*" -size +100M ./huge/stein-watkins-ecdb.spkg ./upstream/database_stein_watkins/database_stein_watkins-20070827.tar.bz2 ./upstream/database_stein_watkins/database_stein_watkins-20030423.tar.bz2 ./upstream/database_stein_watkins/database_stein_watkins-20110713.tar.gz -- Harald -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
