Nix：查询包的包
Nix: Querying packages' packages
我可以使用 nix-env -qa [package] 查询可用的包，但是我如何查找依赖于主包并且可以单独加载或安装的可选包（例如库）？示例：Coq (coq-8.6) 包含软件包 coqPackages_8_6.ssreflect 和 coqPackages_8_6.mathcomp，我无法在 Nix AFAIK
中获得任何相关信息
我个人从不使用 nix-env -qa 因为它很慢。
相反，当我寻找顶级包（应用程序）时，我使用 http://nixos.org/nixos/packages.html。
当（就像你的问题一样），我正在寻找一个非顶级包时，我使用 nix repl 的自动完成。 运行 它与
nix repl '<nixpkgs>'
现在键入 coqPackages 并使用自动完成功能查看所有可用版本。输入 coqPackages_8_6. 并使用自动完成功能查看此集合中的所有可用包。
nix search也可以用来搜索包。缓存所有可用包很慢，但搜索缓存非常快！检查 nix search --help!
我可以使用 nix-env -qa [package] 查询可用的包，但是我如何查找依赖于主包并且可以单独加载或安装的可选包（例如库）？示例：Coq (coq-8.6) 包含软件包 coqPackages_8_6.ssreflect 和 coqPackages_8_6.mathcomp，我无法在 Nix AFAIK
我个人从不使用 nix-env -qa 因为它很慢。
相反，当我寻找顶级包（应用程序）时，我使用 http://nixos.org/nixos/packages.html。
当（就像你的问题一样），我正在寻找一个非顶级包时，我使用 nix repl 的自动完成。 运行 它与
nix repl '<nixpkgs>'
现在键入 coqPackages 并使用自动完成功能查看所有可用版本。输入 coqPackages_8_6. 并使用自动完成功能查看此集合中的所有可用包。
nix search也可以用来搜索包。缓存所有可用包很慢，但搜索缓存非常快！检查 nix search --help!