Nix：查询包的包

Question

我可以用nix-env -qa [package]查询可用的包但是如何查找依赖于主包并且可以单独加载或安装的可选包（例如库）？示例：Coq（coq-8.6）包含coqPackages_8_6.ssreflect和coqPackages_8_6.mathcomp，我无法获得有关Nix AFAIK的信息

Answer 1

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

nix repl '<nixpkgs>'

现在键入coqPackages并使用auto-complete查看所有可用版本。键入coqPackages_8_6.并使用auto-complete查看此集合中的所有可用包。