pkgs/development/compilers/fstar · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development compilers fstar

3 files

at netboot-tests

· fstar: build with dune (#275924) · 2y ago

fstar: build with dune (#275924)

fstar: build with dune (#275924)

fstar: build with dune (#275924)