You can search for identifiers within the package.
in-package search v0.2.0
module V4_1_12 : sig ... end