nixpkgs/pkgs/development/dotnet-modules
mdarocha b0d00352bb boogie: move out of dotnet-packages.nix
dotnet-packages.nix is deprecated and being removed
2023-09-16 16:00:29 +02:00
..
patches