There was a github outage today, looks like you found it ;)
On Tuesday, December 3, 2024 at 9:28:07 PM UTC+1 jackson...@gmail.com wrote:
> @jacksonwalters
>
> It appears to be resolved - I am able to comment on issues now.
>
> Thanks,
> Jackson
>
> On Tue, Dec 3, 2024 at 3:19 PM David Roe wrote:
@jacksonwalters
It appears to be resolved - I am able to comment on issues now.
Thanks,
Jackson
On Tue, Dec 3, 2024 at 3:19 PM David Roe wrote:
> What is your github username?
> David
>
> On Tue, Dec 3, 2024 at 2:56 PM Jackson Walters
> wrote:
>
>> It seems I am not able to add comments to is
What is your github username?
David
On Tue, Dec 3, 2024 at 2:56 PM Jackson Walters
wrote:
> It seems I am not able to add comments to issues or PRs on GitHub. Is this
> a GitHub issue or something specifically with Sage?
>
> --
> You received this message because you are subscribed to the Google
It seems I am not able to add comments to issues or PRs on GitHub. Is this
a GitHub issue or something specifically with Sage?
--
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
On Tue, Dec 3, 2024 at 11:21 AM Giacomo Pope wrote:
>
> Thank you for your help, Dima.
>
> For the first thing you are right:
>
> Jack: ~ % ls -l /usr/local/include/gmp.h
> lrwxr-xr-x 1 Jack admin 33 2 Dec 19:47 /usr/local/include/gmp.h@ ->
> ../Cellar/gmp/6.3.0/include/gmp.h
> Jack: ~ % ls -
Thank you for your help, Dima.
For the first thing you are right:
Jack: ~ % ls -l /usr/local/include/gmp.h
lrwxr-xr-x 1 Jack admin 33 2 Dec 19:47 /usr/local/include/gmp.h@ ->
../Cellar/gmp/6.3.0/include/gmp.h
Jack: ~ % ls -l /usr/local/Cellar/gmp/6.3.0/include/gmp.h
-rw-r--r-- 1 Jack admin
On Tue, Dec 3, 2024 at 4:15 AM Giacomo Pope wrote:
>
> Running brew install gmp:
>
> Jack: sage % brew install gmp
> Warning: gmp 6.3.0 is already installed and up-to-date.
> To reinstall 6.3.0, run:
> brew reinstall gmp
>
> I ran brew update and brew upgrade yesterday before attempting to insta