Zulip Chat Archive

Stream: mathlib4

Topic: allow `Cache` use alternative mirror URL via env

Alissa Tung (Aug 27 2023 at 12:37):

https://github.com/leanprover-community/mathlib4/issues/6814

Last updated: Dec 20 2023 at 11:08 UTC