vscode-extensions.fstarlang.fstar-vscode-assistant 0.25.4 single
Interactive editing mode VS Code extension for F*
- Name
vscode-extension-FStarLang-fstar-vscode-assistant-0.25.4- Package set
- vscode-extensions
- Homepage
- https://github.com/FStarLang/fstar-vscode-assistant
- License
- MIT
- Source
- pkgs/applications/editors/vscode/extensions/fstarlang.fstar-vscode-assistant/default.nix:11
- Derivation
/nix/store/4dzm855f3hrxp37r7fqxw5sf2wgs25kk-vscode-extension-FStarLang-fstar-vscode-assistant-0.25.4.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| Parrot7483 | Parrot7483 | GitHub · parrot7483@pm.me | listed on package |
Dependencies 2
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,086 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.