fix dependency lookup, see renovatebot/renovate#6894 (comment)

SpoonLabs · May 6, 2023 · 4b8a7af · 4b8a7af
1 parent e8002c2
commit 4b8a7af
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/com/microsoft/z3/maven-metadata-local.xml → com/microsoft/z3/maven-metadata.xml b/com/microsoft/z3/maven-metadata-local.xml → com/microsoft/z3/maven-metadata.xml