pkgs/by-name/fs/fstar · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs by-name fs fstar

1 folder · 1 file

at devShellTools-shell

Morgan Jones · z3: build with cmake, 4.15.0 -> 4.15.1 (#415966) · 1y ago

fstar: force autotools build for z3

ocamlPackages.sedlex: 3.4 → 3.6