pkgs/development/dotnet-modules · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development dotnet-modules

1 folder · 1 file

whonore · dafny: move to separate file · 3y ago

[treewide] delete unused patches

boogie-deps.nix

buildDotnetModule: add support for dotnet tools