David McFarland 3fdb6c5a90 dotnetCorePackages: move systemToDotnetRid out of sdk		2022-12-19 15:36:25 -04:00
..
patches
python-language-server	dotnetCorePackages: move systemToDotnetRid out of sdk	2022-12-19 15:36:25 -04:00
boogie-deps.nix	pkgs.boogie: 2.4.1 -> 2.15.7	2022-08-02 10:24:21 -07:00