summary refs log tree commit diff
path: root/pkgs/development/dotnet-modules
AgeCommit message (Expand)AuthorFilesLines
2023-09-16boogie: move out of dotnet-packages.nixmdarocha1-197/+0
2023-04-29dafny: move to separate filewhonore1-367/+0
2023-04-29dafny: 3.7.3 -> 4.0.0whonore1-18/+30
2023-04-29dafny: fix build by pruning old depsGuillaume Maudoux1-3/+5
2023-04-29dafny: add missing depswhonore1-0/+34
2023-04-29buildDotnetModule: add support for dotnet toolsGuillaume Maudoux2-0/+106
2023-04-29pkgs.dafny: 2.3.0 -> 3.7.3John Wiegley1-0/+214
2023-02-18python-language-server: removeJamie Magee3-176/+0
2022-12-19build-dotnet-module: restore for current runtime by defaultDavid McFarland1-2/+0
2022-12-19treewide: update all dotnet lockfilesDavid McFarland1-0/+46
2022-12-19dotnetCorePackages: move systemToDotnetRid out of sdkDavid McFarland1-1/+1
2022-10-02dotnet: update lock files of packages using nuget-to-nixDavid McFarland1-17/+3
2022-10-02python-language-server: restore for current platform onlyDavid McFarland1-0/+3
2022-09-11python-language-server: migrate lockfile generation to fetch-depsIvar Scholten1-20/+2
2022-08-02pkgs.boogie: 2.4.1 -> 2.15.7John Wiegley1-0/+150
2022-06-20python-language-server: update dependenciesmdarocha1-11/+11
2022-03-16python-language-server: 2021-09-08 -> 2022-02-18R. Ryantm1-3/+3
2021-12-23nuget-to-nix: update to use pname instead of nameFelix Buehler1-119/+119
2021-11-21python-language-server: 2021-05-20 -> 2021-09-08, use buildDotnetModuleIvar Scholten7-1431/+179
2021-11-16python-language-server: Update dependenciesClaudio Bley2-6/+6
2021-09-17python-language-server: Update dependenciesClaudio Bley2-6/+6
2021-07-10python-language-server: 2020-10-08 -> 2021-05-20Jörg Thalheim1-4/+3
2021-05-15python-language-server: cleanup deps, add missing phase hooksFelix Rath4-100/+12
2021-05-15python-language-server: 2020-06-19 -> 2020-10-08Felix Rath3-53/+85
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-09-23dotnetCorePackages.sdk_3_1: fix dependent packagesJamie Magee1-36/+6
2020-06-27python-language-server: 2020-04-24 -> 2020-06-19 (#91469)Jörg Thalheim2-390/+384
2020-05-09python-language-server: init at 2020-04-24Tom McLaughlin6-0/+1552
2019-05-04[treewide] delete unused patchesc0bw3b1-11/+0
2015-06-06Lay down the foundation for packaging the .NET echosystemobadz3-0/+142
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-02 23:55:45 +0000