mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-21 05:04:00 +00:00
33399c9de8
dafny: 2.3.0 -> 4.0.0 |
||
---|---|---|
.. | ||
build-dotnet-module | ||
build-dotnet-package | ||
dotnetbuildhelpers | ||
dotnetenv | ||
fetchnuget | ||
make-nuget-deps | ||
make-nuget-source | ||
nuget-to-nix |