[sage-devel] No sage 10.1 docker image?
Hi, Here https://github.com/sagemath/sage/pkgs/container/sage%2Fsage-ubuntu-focal-standard-with-targets there is 10.0. But there's no 10.1. What happened? -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/00a3d699-e18f-4fa1-b945-d0cdb1ab0d39n%40googlegroups.com.
[sage-devel] Re: No sage 10.1 docker image?
Broken by https://github.com/sagemath/sage/pull/36141 (see https://github.com/sagemath/sage/pull/36256#issuecomment-1718188227), fixed in https://github.com/sagemath/sage/pull/36256 On Thursday, September 14, 2023 at 12:43:29 AM UTC-7 Kwankyu Lee wrote: > Hi, > > Here > > > https://github.com/sagemath/sage/pkgs/container/sage%2Fsage-ubuntu-focal-standard-with-targets > > there is 10.0. But there's no 10.1. What happened? > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/994120f1-5d60-44a5-93df-df4bd4c87ff8n%40googlegroups.com.
[sage-devel] Re: No sage 10.1 docker image?
Thanks! On Friday, September 15, 2023 at 2:07:00 AM UTC+9 Matthias Koeppe wrote: > Broken by https://github.com/sagemath/sage/pull/36141 (see > https://github.com/sagemath/sage/pull/36256#issuecomment-1718188227), > fixed in https://github.com/sagemath/sage/pull/36256 > > On Thursday, September 14, 2023 at 12:43:29 AM UTC-7 Kwankyu Lee wrote: > >> Hi, >> >> Here >> >> >> https://github.com/sagemath/sage/pkgs/container/sage%2Fsage-ubuntu-focal-standard-with-targets >> >> there is 10.0. But there's no 10.1. What happened? >> > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b6ff0bee-e24f-4118-91ec-623dc8d6f098n%40googlegroups.com.
