If package doesn't have that tool, it probably comes from another package, so we consult the resolvedTools instead

Author: Federico Fissore

arduino-core/src/cc/arduino/contributions/packages/ContributedPackage.java

@@ -71,6 +71,17 @@ public ContributedTool findTool(String name, String version) {
     return null;
   }
 
+  public ContributedTool findResolvedTool(String toolName, String version) {
+    for (ContributedPlatform platform : getPlatforms()) {
+      for (ContributedTool tool : platform.getResolvedTools()) {
+        if (toolName.equals(tool.getName()) && version.equals(tool.getVersion())) {
+          return tool;
+        }
+      }
+    }
+    return null;
+  }
+
   public boolean isTrusted() {
     return trusted;
   }

arduino-core/src/cc/arduino/contributions/packages/ContributionsIndexer.java

@@ -260,6 +260,9 @@ private void syncPackageWithFilesystem(ContributedPackage pack, File root) {
 
   private void syncToolWithFilesystem(ContributedPackage pack, File installationFolder, String toolName, String version) {
     ContributedTool tool = pack.findTool(toolName, version);
+    if (tool == null) {
+      tool = pack.findResolvedTool(toolName, version);
+    }
     if (tool == null) {
       return;
     }