The 6.4.1 download _does_ give the app. -Ivan
On Dec 1, 2014, at 12:03 PM, Volker Braun <vbraun.n...@gmail.com> wrote: > Can somebody tell me for sure that the current osx binary is wrong? The app > and dmg have different sizes. > > > > On Monday, December 1, 2014 6:54:29 PM UTC, kcrisman wrote: > > I, just downloaded the Sage.app (OSX 10.9) from 2 different server and the > resulting downloads didn't give the Sage.app, but simply the src > Maybe theres a problems? > > It's conceivable that the mirrors were still updating, though in that case I > thought there would be no link at all. Is this still a problem? > > Hi kcrisman, > > I think the original poster means "binary" instead of "src". > > What may have happened at some point is that the script to > produce sage-osx.dmg and sage-osx-app.dmg was producing > sage-osx.dmg properly, but then producing the same again > and calling it sage-osx-app.dmg, because of some missing > setting of an environment variable. We should check if this > is fixed now, ie, does the sage-osx-app.dmg available for > download really contain the -app version? > > > Ah, this is probably it - Volker reported something similar happening with > the 10.10 binary last time, I believe. Maybe the same thing happened here? > > -- > 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.
