我可以查询带有nix-env -qa [package]的可用软件包，但是如何查找依赖于主软件包并且可以单独加载或安装的可选软件包（例如库）？示例：Coq（coq-8.6）包含coqPackages_8_6.ssreflect和coqPackages_8_6.mathcomp，我无法获取有关Nix AFAIK的信息
答案 0 :(得分：4)
pub struct IdIter<'a>(Box<dyn Iterator<Item = ()> + 'a>);
impl<'a> IdIter<'a> {
pub fn new<I: Iterator<Item = ()> + 'a>(tmpl: I) -> Self {
Self(Box::new(tmpl))
}
}
也可用于搜索软件包。缓存所有可用程序包的速度很慢，但是搜索缓存非常快！检查nix search！
答案 1 :(得分：2)
我个人从不使用nix-env -qa，因为它非常慢。
相反，当我在寻找顶级包（应用程序）时，我使用http://nixos.org/nixos/packages.html。
当（像你的问题），我正在寻找一个非顶级包，我使用nix repl的自动完成。用
nix repl '<nixpkgs>'
现在键入实例coqPackages并使用auto-complete查看所有可用版本。键入coqPackages_8_6.并使用auto-complete查看此集中的所有可用包。