fstar
fstar 2026.03.24 · pkgs/by-name/fs/fstar/package.nix
Health
Risk
risk 0 ok
Version
2026.03.24 no newer release known to repology
Channels
Hydra
succeeded 2d ago
Advisories
none open
Packaging
not read yet: the next index sweep reads it
Maintainers
Pull requests 0
None open.
Closed or merged in the synced window 1
various: OCaml multiple outputs
#567406 by georgyo · merged 1d ago
Issues 0
None open.