Nix：查询包的包

Question

我可以查询可用的包，nix-env -qa [package]但是如何查找依赖于主包并且可以单独加载或安装的可选包（例如库）？例如：勒柯克（coq-8.6）的包coqPackages_8_6.ssreflect和coqPackages_8_6.mathcomp我可以得到没有关于尼克斯AFAIK信息

Answer 1

nix search也可用于搜索包。缓存所有可用的包很慢，但搜索缓存非常快！检查nix search --help！

Answer 2

我个人从不使用，nix-env -qa因为它非常慢。相反，当我寻找顶级包（应用程序）时，我使用http://nixos.org/nixos/packages.html。当（就像在你的问题中），我正在寻找一个非顶级包时，我使用nix repl. 运行它

nix repl '<nixpkgs>'

现在输入实例coqPackages并使用自动完成功能来查看所有可用版本。键入coqPackages_8_6.并使用自动完成功能来查看此集中的所有可用包。