nixpkgs
Nix Packages collection & NixOS github.com/NixOS/nixpkgs
Star 0
Fork 0
Watch
nixpkgs pkgs development rocq-modules mathcomp
1 file
default.nix