Nix: Querying packages' packages

Question

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

Answer 1

nix search can also be used to search for packages. Caching all available packages is slow, but searching the cache is quite fast! Check nix search --help!