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