packaging: restore correct placeholders

facchinm · facchinm · commit 83e9816417b0 · 2023-09-26T10:11:17.000+02:00
diff --git a/platform.txt b/platform.txt
@@ -4,8 +4,8 @@
 # For more info:
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
-name=Arduino Mbed OS  Boards
-version=
+name=Arduino Mbed OS Boards
+version=9.9.9
 
 # Compile variables
 # ------------------------
