You can search for identifiers within the package.
in-package search v0.2.0
coq-core.lib
Core_plugins_findlib_compat
val legacy_to_findlib : (string * string list) list
associative list between legacy names and path in coq-core