You can search for identifiers within the package.
in-package search v0.2.0
ppx_fun
Switch dev-repo to git+https (weird issue, imo: https://github.com/tarides/dune-release/issues/169)
Dune releas, cont.
Testing dune-release.