dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
7b77c9ed63
nixpkgs/pkgs/development/dotnet-modules
History
whonore d4f814d956 dafny: move to separate file
2023-04-29 19:11:12 -04:00
..
patches
boogie-deps.nix buildDotnetModule: add support for dotnet tools 2023-04-29 18:54:04 -04:00