summary refs log tree commit diff
path: root/pkgs/development/dotnet-modules
Commit message (Expand)AuthorAge
* boogie: move out of dotnet-packages.nixmdarocha2023-09-16
* dafny: move to separate filewhonore2023-04-29
* dafny: 3.7.3 -> 4.0.0whonore2023-04-29
* dafny: fix build by pruning old depsGuillaume Maudoux2023-04-29
* dafny: add missing depswhonore2023-04-29
* buildDotnetModule: add support for dotnet toolsGuillaume Maudoux2023-04-29
* pkgs.dafny: 2.3.0 -> 3.7.3John Wiegley2023-04-29
* python-language-server: removeJamie Magee2023-02-18
* build-dotnet-module: restore for current runtime by defaultDavid McFarland2022-12-19
* treewide: update all dotnet lockfilesDavid McFarland2022-12-19
* dotnetCorePackages: move systemToDotnetRid out of sdkDavid McFarland2022-12-19
* dotnet: update lock files of packages using nuget-to-nixDavid McFarland2022-10-02
* python-language-server: restore for current platform onlyDavid McFarland2022-10-02
* python-language-server: migrate lockfile generation to fetch-depsIvar Scholten2022-09-11
* pkgs.boogie: 2.4.1 -> 2.15.7John Wiegley2022-08-02
* python-language-server: update dependenciesmdarocha2022-06-20
* python-language-server: 2021-09-08 -> 2022-02-18R. Ryantm2022-03-16
* nuget-to-nix: update to use pname instead of nameFelix Buehler2021-12-23
* python-language-server: 2021-05-20 -> 2021-09-08, use buildDotnetModuleIvar Scholten2021-11-21
* python-language-server: Update dependenciesClaudio Bley2021-11-16
* python-language-server: Update dependenciesClaudio Bley2021-09-17
* python-language-server: 2020-10-08 -> 2021-05-20Jörg Thalheim2021-07-10
* python-language-server: cleanup deps, add missing phase hooksFelix Rath2021-05-15
* python-language-server: 2020-06-19 -> 2020-10-08Felix Rath2021-05-15
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* dotnetCorePackages.sdk_3_1: fix dependent packagesJamie Magee2020-09-23
* python-language-server: 2020-04-24 -> 2020-06-19 (#91469)Jörg Thalheim2020-06-27
* python-language-server: init at 2020-04-24Tom McLaughlin2020-05-09
* [treewide] delete unused patchesc0bw3b2019-05-04
* Lay down the foundation for packaging the .NET echosystemobadz2015-06-06
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-30 20:33:22 +0000