You can search for identifiers within the package.
in-package search v0.2.0
cilversion.ml
1 let cilVersion = "2.1.0"
1
let cilVersion = "2.1.0"