Ubuntu
curl package

  1. Bug #2028170
  2. Comment #2

Comment 2 for bug 2028170

Revision history for this message
David Renshaw (dwrensha) wrote :

This bug is causing breakage in the Lean 4 build cache infrastructure: https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/leantar.20too.20old.20.28lean.20exe.20cache.20get.20not.20working.29/near/376686259