diff --git a/arduino-core/src/cc/arduino/contributions/packages/ContributedPlatform.java b/arduino-core/src/cc/arduino/contributions/packages/ContributedPlatform.java
index 3c45b7325..6c11a4cc2 100644
--- a/arduino-core/src/cc/arduino/contributions/packages/ContributedPlatform.java
+++ b/arduino-core/src/cc/arduino/contributions/packages/ContributedPlatform.java
@@ -60,6 +60,7 @@ public class ContributedPlatform extends DownloadableContribution {
   private boolean builtIn;
   private Map<ContributedToolReference, ContributedTool> resolvedToolReferences;
   private ContributedPackage parentPackage;
+  private boolean deprecated;
 
   @Override
   public String getUrl() { return url; }
@@ -157,6 +158,14 @@ public class ContributedPlatform extends DownloadableContribution {
     this.parentPackage = parentPackage;
   }
 
+  public boolean isDeprecated() {
+    return deprecated;
+  }
+
+  public void setDeprecated(boolean deprecated) {
+    this.deprecated = deprecated;
+  }
+
   @Override
   public String toString() {
     return getParsedVersion();