The 6.4.1 download _does_ give the app.
-Ivan
On Dec 1, 2014, at 12:03 PM, Volker Braun 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.