You can search for identifiers within the package.
in-package search v0.2.0
cmdtui
Port to jbuilder.
Convert optional dependencies into separate opam packages. Cmdtui_lambda_term is now in the cmdtui-lambda-term opam package.
Cmdtui_lambda_term
cmdtui-lambda-term
Split code from the rejoin tool into its own library.