nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-18 03:34:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
cb1d6c17a3
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