diff --git a/arduino-ide-extension/package.json b/arduino-ide-extension/package.json
index ff9a09eff..cda0ebf77 100644
--- a/arduino-ide-extension/package.json
+++ b/arduino-ide-extension/package.json
@@ -172,7 +172,7 @@
   ],
   "arduino": {
     "arduino-cli": {
-      "version": "1.2.0"
+      "version": "1.3.1"
     },
     "arduino-fwuploader": {
       "version": "2.4.1"
diff --git a/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/lib_pb.d.ts b/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/lib_pb.d.ts
index c5401953e..a844e8303 100644
--- a/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/lib_pb.d.ts
+++ b/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/lib_pb.d.ts
@@ -1139,4 +1139,5 @@ export enum LibraryLocation {
     LIBRARY_LOCATION_PLATFORM_BUILTIN = 2,
     LIBRARY_LOCATION_REFERENCED_PLATFORM_BUILTIN = 3,
     LIBRARY_LOCATION_UNMANAGED = 4,
+    LIBRARY_LOCATION_PROFILE = 5,
 }
diff --git a/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/lib_pb.js b/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/lib_pb.js
index 74e4f2818..c8f36e422 100644
--- a/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/lib_pb.js
+++ b/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/lib_pb.js
@@ -8652,7 +8652,8 @@ proto.cc.arduino.cli.commands.v1.LibraryLocation = {
   LIBRARY_LOCATION_USER: 1,
   LIBRARY_LOCATION_PLATFORM_BUILTIN: 2,
   LIBRARY_LOCATION_REFERENCED_PLATFORM_BUILTIN: 3,
-  LIBRARY_LOCATION_UNMANAGED: 4
+  LIBRARY_LOCATION_UNMANAGED: 4,
+  LIBRARY_LOCATION_PROFILE: 5
 };
 
 goog.object.extend(exports, proto.cc.arduino.cli.commands.v1);