v4.2.0

chore: Release elan version 4.2.0

path-toolchain

feat: print notice when using a directory override (#190)

When a directory override is active (set via `elan override set`), print
a notice to stderr showing the toolchain and path being used. This helps
users catch stale overrides that may cause confusing build failures.

Example output:
```
note: using toolchain 'leanprover/lean4:v4.27.0-rc1' from override set on '/path/to/project'
note: to remove: elan override unset --path '/path/to/project' | to suppress: ELAN_NO_OVERRIDE_NOTICE=1
```

The notice can be suppressed by setting `ELAN_NO_OVERRIDE_NOTICE=1` for
scripts or CI environments.

Closes #189

🤖 Prepared with Claude Code

---------

Co-authored-by: Claude Opus 4.5 <noreply@anthropic.com>
Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>

v4.1.2

chore: Release elan version 4.1.2

v4.1.1

chore: Release elan version 4.1.1

v4.1.0

chore: Release elan version 4.1.0

v4.0.1

chore: Release elan version 4.0.1

v4.0.0

fix version

v4.0.0-rc1

feat: do not warn about outdated toolchains with `--no-net`

eager-resolution-v9

feat: do not warn about outdated toolchains with `--no-net`

eager-resolution-v8

chore: fix version