I can query available packages w/ nix-env -qa [package]
but how can I look for optional packages (e.g. libraries) that depend on a primary package and can be loaded or installed separately? Example: Coq (coq-8.6
) has packages coqPackages_8_6.ssreflect
and coqPackages_8_6.mathcomp
that I can get no information about in Nix AFAIK
I personally never use nix-env -qa
because it is very slow.
Instead, when I'm looking for a top-level package (an application), I use http://nixos.org/nixos/packages.html.
When (like in your question), I'm looking for a non-top-level package, I use the auto-completion of nix repl
. Run it with
nix repl '<nixpkgs>'
Now type for instance coqPackages
and use auto-complete to see all the available versions. Type coqPackages_8_6.
and use auto-complete to see all the available packages in this set.
来源:https://stackoverflow.com/questions/44553350/nix-querying-packages-packages