Thanks, Nathann, that is very helpful. John
On 27 May 2015 at 13:13, Nathann Cohen <nathann.co...@gmail.com> wrote: > Hello, > >> I am planning to make a new-style version of the option spkg >> database_kohel -- is there somewhere (other than trac of course) where >> I can record this plan, and (afterwards) the fact that it has been >> done? Somewhere where the current state of optional spkgs is >> recorded? > > > Right now things are a bit messy, but of course you will find in > SAGE_ROOT/build/pkgs/ the list of new-style packages. > > With #18456 (needs_review) you can (again) get the list of packages. This > function is written with in mind the idea that some new-style packages also > have a .spkg counterpart on the mirrors. > > In the long run, spkg duplicates of new-style packages will be removed. This > has been delayed by the recent website changes. And those .spkg should > eventually be "moved" to the 'archive' folder: > http://mirrors-usa.go-parts.com/sage/sagemath/spkg/index.html > > You can already see that the 'standard' category vanished, as those have all > been turned into new-style packages. > > Only the link vanished, however, for the files are still on the server, > e.g.: > http://mirrors-usa.go-parts.com/sage/sagemath/spkg/standard/ > > Nathann > > -- > 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. -- 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.
