Fix repository update after a rename for version-equivalent packages #6783

arozovyk wants to merge 1 commit intoocaml:masterocaml/opam:masterfrom

arozovyk:repo_update_after_version_renamearozovyk/opam:repo_update_after_version_renameCopy head branch name to clipboard