David McFarland 9e0a1e7b8e dotnet: update lock files of packages using nuget-to-nix		2022-10-02 16:09:27 -03:00
..
patches
python-language-server	dotnet: update lock files of packages using nuget-to-nix	2022-10-02 16:09:27 -03:00
boogie-deps.nix	pkgs.boogie: 2.4.1 -> 2.15.7	2022-08-02 10:24:21 -07:00