On Monday, January 10, 2022 at 12:11:19 AM UTC-8 Dima Pasechnik wrote:
>
> On Mon, 10 Jan 2022, 01:31 Matthias Koeppe, wrote:
>
>> On Sunday, January 9, 2022 at 1:02:27 PM UTC-8 wst...@gmail.com wrote:
>>
>>> Instead of "Proposal: Stop providing binary distributions" maybe your
>>>
>> proposal is
On Mon, 10 Jan 2022, 01:31 Matthias Koeppe,
wrote:
> On Sunday, January 9, 2022 at 1:02:27 PM UTC-8 wst...@gmail.com wrote:
>
>> Matthias, correct me if I'm wrong, but are you proposing that we just a
>>
> better job at pointing users to binary distributions of Sage such as
>> https://github.com/
On Sunday, January 9, 2022 at 1:02:27 PM UTC-8 wst...@gmail.com wrote:
> Matthias, correct me if I'm wrong, but are you proposing that we just a
>
better job at pointing users to binary distributions of Sage such as
> https://github.com/3-manifolds/Sage_macOS/releases, conda-forge, and
> of cour
On Sun, 9 Jan 2022, 20:46 Murray Eisenberg,
wrote:
>
> As strictly an end-user of Sage, and only on macOS, I find the prospect of
> not being able to download a binary (not even from
> https://github.com/3-manifolds/Sage_macOS/releases)
the latter is here to stay, and is already pointed to by
h
On Sun, Jan 9, 2022 at 12:46 PM Murray Eisenberg
wrote:
> As strictly an end-user of Sage, and only on macOS, I find the prospect of
> not being able to download a binary (not even from
> https://github.com/3-manifolds/Sage_macOS/releases) repellent. And providing,
> only a Docker image instead
As strictly an end-user of Sage, and only on macOS, I find the prospect of
not being able to download a binary (not even from
https://github.com/3-manifolds/Sage_macOS/releases) repellent. And
providing, only a Docker image instead, equally repellent. The probability
is large that I would aban
Mixed feelings... See my comments on the ticket.
Le samedi 8 janvier 2022 à 20:10:15 UTC+1, Matthias Koeppe a écrit :
> Comments/review please in https://trac.sagemath.org/ticket/33131
>
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsub
