[sage-devel] Re: Proposal to allow downloads during build of optional packages

2025-01-01 Thread Nathan Dunfield
On Tuesday, December 31, 2024 at 8:04:22 PM UTC-6 Kwankyu Lee wrote: To be clear, note that we have two types of packages: standard and optional. Standard packages are by definition those packages installed by default. See https://doc-release--sagemath.netlify.app/html/en/developer/packaging#pa

[sage-devel] Re: Proposal to allow downloads during build of optional packages

2024-12-31 Thread Kwankyu Lee
To be clear, note that we have two types of packages: standard and optional. Standard packages are by definition those packages installed by default. See https://doc-release--sagemath.netlify.app/html/en/developer/packaging#package-types The proposal is about allowing internet connection for o