chore(deps): update dependency elan to v4

[renovate]

This PR contains the following updates:

Package	Update	Change
elan	major	0.11.0 → 4.2.3

---

Release Notes

leanprover/elan (elan)

v4.2.3

• Don't abort toolchain installation when the elan self-update check fails (e.g. due to a network error); emit a warning and continue instead.

v4.2.2

• Fix detection of being inside a toolchain directory on Windows when the path is reported with a lowercase drive letter (#​199).
• Replace leftover Rust term "crate" with "package" in elan toolchain help link (#​175).
• Error instead of silently downloading the default toolchain when lean-toolchain is unparseable or points to a path without bin/lean (#​197).

v4.2.1

• Fix combining elan override with new path-based toolchains.

v4.2.0

• Resume interrupted downloads via HTTP Range headers. When a download fails due to a network error,
  elan now automatically retries once, resuming from where it left off. Also adds a stall timeout
  (30s at <10 bytes/sec) so downloads no longer hang indefinitely on unreliable connections.
• Support absolute and relative toolchain paths in lean-toolchain etc.
• Print a notice when a directory override (set via elan override set) is active, helping catch
  stale overrides that may cause confusing build failures. Can be suppressed with
  ELAN_NO_OVERRIDE_NOTICE=1.

v4.1.2

• Ignore errors when writing to .elan/known-projects, e.g. when it is read-only.

v4.1.1

• Fix installing from leanprover/lean4-pr-releases, which are not part of release.lean-lang.org.

v4.0.1

• Fix selection of most recent stable toolchain when offline

v4.0.0

• Revamp toolchain resolution and storage
  • Toolchain references are now always resolved to a fixed <owner>/<repo>:<version> format before
    downloading, resolving the issue of having the same toolchain installed as e.g. stable,
    v4.9.0, and leanprover/lean4:v4.9.0 and ensuring that e.g. stable has the same meaning for
    everyone at a given point in time. Elan will automatically uninstall toolchains under
    now-unreachable names.
  • Accordingly, elan update has been removed as updates of non-fixed toolchains are now implicit.
  • This also fixes lake +stable new ... putting an unadvisable leanprover/lean4:stable
    reference in lean-toolchain.
  • The configured default toolchain name is stored unresolved (and not immediately installed) but
    is resolved before every use. This also means that passing --default-toolchain none to the
    elan install script is not necessary anymore to speed up installation.
  • In case of a network error resolving a toolchain, elan falls back to the previous resolution if
    any and prints a warning.
  • The update-hashes/ directory is not used anymore, deleting toolchains/ or direct
    subdirectories does not break elan anymore.
• More useful download and installation info messages
• Experimental elan toolchain gc command. See elan toolchain gc --help for documentation.
  lean-toolchain files will only be known to the GC after being used at least once with this
  version of elan.

v3.1.1

• Fix update check

v3.1.0

• Fix partial toolchains potentially being left in place when unpacking is aborted (#​121)
• Check for elan updates during toolchain downloads (#​122)

v3.0.0

• Default to stable toolchain again in time for first Lean 4 stable release (#​104)

v2.0.1

• Fix download progress display on Windows (#​101)

v2.0.0

• Support toolchain reference <origin>:lean-toolchain that refers to the toolchain referred to by the contents of the given GitHub file (#​99)

• Default to Lean 4 (#​98)

v1.4.6

• Avoid dependency on the VC++ Redistributable on Windows (#​97)

v1.4.5

• Fix self update on Apple Silicon (only?) (#​78)

v1.4.2

• Fix downloading Lean releases again

v1.4.1

Added

• Actual support for ARM64 macOS (M1)

v1.4.0

Added

• Support for ARM64 macOS (M1)

v1.3.1

Changed

• Update dependencies

v1.3.0

Added

• Support for zstd-compressed tarballs

v1.1.0

Added

• Add lake Lean 4 executable

v1.0.7

Changed

• Default to respective toolchain inside of ~/.elan (#​36)

v1.0.6

Changed

• Fix elan self update on not-Linux and build from cmdline

v1.0.2

Changed

• Fix installation from non-default repos

v1.0.0

• Move to leanprover/elan

---

Configuration

📅 Schedule: (in timezone Europe/Copenhagen)

• Branch creation
  • "before 7am on monday"
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.