Dependency freshness check ran on 2026-08-31T16:45:48.829Z.
vscode-lean4 extension
- Currently synced to:
v0.0.220
- Latest upstream:
v0.0.239
- Update with:
scripts/sync-lean4-extension.sh v0.0.239
npm packages outdated in vscode/
@microsoft/1ds-core-js: undefined → 4.4.3@microsoft/1ds-post-js: undefined → 4.4.3@parcel/watcher: undefined → 2.6.0@types/semver: undefined → 7.8.0@vscode/deviceid: undefined → 0.1.5@vscode/iconv-lite-umd: undefined → 0.7.1@vscode/proxy-agent: undefined → 0.35.0@vscode/ripgrep: undefined → 1.18.0@vscode/spdlog: undefined → 0.15.8@vscode/sqlite3: undefined → 5.1.14-vscode@vscode/sudo-prompt: undefined → 9.3.2@vscode/tree-sitter-wasm: undefined → 0.3.1@vscode/vscode-languagedetection: undefined → 1.0.23@vscode/windows-mutex: undefined → 0.5.3@vscode/windows-process-tree: undefined → 0.8.0@vscode/windows-registry: undefined → 1.2.0@vscodium/policy-watcher: undefined → 1.3.2-255408@xterm/addon-clipboard: undefined → 0.2.0@xterm/addon-image: undefined → 0.9.0@xterm/addon-ligatures: undefined → 0.10.0@xterm/addon-progress: undefined → 0.2.0@xterm/addon-search: undefined → 0.16.0@xterm/addon-serialize: undefined → 0.14.0@xterm/addon-unicode11: undefined → 0.9.0@xterm/addon-webgl: undefined → 0.19.0@xterm/headless: undefined → 6.0.0@xterm/xterm: undefined → 6.0.0http-proxy-agent: undefined → 9.1.0https-proxy-agent: undefined → 9.1.0jschardet: undefined → 3.1.4kerberos: undefined → 7.0.0native-is-elevated: undefined → 0.9.0native-keymap: undefined → 3.3.9native-watchdog: undefined → 1.4.2node-pty: undefined → 1.1.0open: undefined → 11.0.2tas-client-umd: undefined → 0.2.0v8-inspect-profiler: undefined → 0.1.1vscode-oniguruma: undefined → 2.0.1vscode-regexpp: undefined → 3.1.0vscode-textmate: undefined → 9.3.2windows-foreground-love: undefined → 0.6.1yauzl: undefined → 3.4.0yazl: undefined → 3.3.1
npm packages outdated in vscode/extensions/
@vscode-elements/elements: undefined → 2.5.1@vscode/codicons: undefined → 0.0.46-24typescript: undefined → 7.0.2
This is a report only, nothing was changed automatically. Review before bumping, some of these version bumps have broken the build before (see the @types/vscode incident).
Dependency freshness check ran on 2026-08-31T16:45:48.829Z.
vscode-lean4 extension
v0.0.220v0.0.239scripts/sync-lean4-extension.sh v0.0.239npm packages outdated in vscode/
@microsoft/1ds-core-js: undefined → 4.4.3@microsoft/1ds-post-js: undefined → 4.4.3@parcel/watcher: undefined → 2.6.0@types/semver: undefined → 7.8.0@vscode/deviceid: undefined → 0.1.5@vscode/iconv-lite-umd: undefined → 0.7.1@vscode/proxy-agent: undefined → 0.35.0@vscode/ripgrep: undefined → 1.18.0@vscode/spdlog: undefined → 0.15.8@vscode/sqlite3: undefined → 5.1.14-vscode@vscode/sudo-prompt: undefined → 9.3.2@vscode/tree-sitter-wasm: undefined → 0.3.1@vscode/vscode-languagedetection: undefined → 1.0.23@vscode/windows-mutex: undefined → 0.5.3@vscode/windows-process-tree: undefined → 0.8.0@vscode/windows-registry: undefined → 1.2.0@vscodium/policy-watcher: undefined → 1.3.2-255408@xterm/addon-clipboard: undefined → 0.2.0@xterm/addon-image: undefined → 0.9.0@xterm/addon-ligatures: undefined → 0.10.0@xterm/addon-progress: undefined → 0.2.0@xterm/addon-search: undefined → 0.16.0@xterm/addon-serialize: undefined → 0.14.0@xterm/addon-unicode11: undefined → 0.9.0@xterm/addon-webgl: undefined → 0.19.0@xterm/headless: undefined → 6.0.0@xterm/xterm: undefined → 6.0.0http-proxy-agent: undefined → 9.1.0https-proxy-agent: undefined → 9.1.0jschardet: undefined → 3.1.4kerberos: undefined → 7.0.0native-is-elevated: undefined → 0.9.0native-keymap: undefined → 3.3.9native-watchdog: undefined → 1.4.2node-pty: undefined → 1.1.0open: undefined → 11.0.2tas-client-umd: undefined → 0.2.0v8-inspect-profiler: undefined → 0.1.1vscode-oniguruma: undefined → 2.0.1vscode-regexpp: undefined → 3.1.0vscode-textmate: undefined → 9.3.2windows-foreground-love: undefined → 0.6.1yauzl: undefined → 3.4.0yazl: undefined → 3.3.1npm packages outdated in vscode/extensions/
@vscode-elements/elements: undefined → 2.5.1@vscode/codicons: undefined → 0.0.46-24typescript: undefined → 7.0.2This is a report only, nothing was changed automatically. Review before bumping, some of these version bumps have broken the build before (see the @types/vscode incident).