Nix：查询包的包答案

【问题标题】：Nix: Querying packages' packagesNix：查询包的包
【发布时间】：2017-06-14 19:38:40
【问题描述】：

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

【问题讨论】：

标签： package nix

【解决方案1】：

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

【讨论】：

【解决方案2】：

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

nix repl '<nixpkgs>'

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

【讨论】：

酷...顺便说一句，nix-env -iA nix-repl 给出了“错误：未找到选择路径‘nix-repl’中的属性‘nix-repl’”（但 nix-env -i nix-repl 有效）
对不起，我修正了我的答案。
github.com/edolstra/nix-repl 表示nix-repl 已过时，现在应该使用nix repl 命令，因为该软件包从 1.12 版开始已合并到 Nix。