fstar 2026.03.24 single
ML-like functional programming language aimed at program verification
- Name
ocaml5.4.1-fstar-2026.03.24- Package set
- top-level
- Homepage
- https://www.fstar-lang.org
- License
- Apache-2.0
- Main program
fstar.exe- Source
- pkgs/by-name/fs/fstar/package.nix:115
- Derivation
/nix/store/cab5617mlln3xkcmn7rsn431vrrxighc-ocaml5.4.1-fstar-2026.03.24.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| numinit | Morgan Jones | GitHub · me+nixpkgs@numin.it | listed on package |
Dependencies 8
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| dune 3.23.1 | nativeBuildInputs | 1,402 | single outdated | |
| installShellFiles 26.05pre-git | nativeBuildInputs | 77,293 | unmaintained setup hook | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| removeReferencesTo | nativeBuildInputs | 51,814 | unmaintained | |
| util-linux 2.42.3 | nativeBuildInputs | 15,491 | maintained outdated | |
| which 2.25 | nativeBuildInputs | 69,382 | single | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.