Guillaume Maudoux 33399c9de8 Merge pull request #229008 from whonore/dafny-4 ... dafny: 2.3.0 -> 4.0.0		2023-05-17 09:53:06 +02:00
..
build-dotnet-module	buildDotnetModule: add support for dotnet tools	2023-04-29 18:54:04 -04:00
build-dotnet-package
dotnetbuildhelpers	dotnetbuildhelpers: move to pkgs/build-support/dotnet	2022-02-11 16:42:07 +01:00
dotnetenv	dotenv: convert CRLF line endings into LF	2022-09-11 17:02:00 +02:00
fetchnuget	fetchNuGet: move to pkgs/build-support/dotnet	2022-02-11 16:37:26 +01:00
make-nuget-deps	make-nuget-deps: use . for version separator	2022-09-15 19:39:36 -03:00
make-nuget-source	mkNugetSource: remove mono from build closure	2023-05-05 18:38:06 +00:00
nuget-to-nix	buildDotnetModule: add support for using combinePackages as dotnet-sdk	2023-03-19 20:53:39 +01:00