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