diff --git a/platforms_new.json b/platforms_new.json index 4f2ce2b..c60e7b4 100644 --- a/platforms_new.json +++ b/platforms_new.json @@ -30,7 +30,7 @@ "cmake_toolchain": "/soft/toolchain.cmake", "ppa": { "filters": ["debian12"], - "install_instructions": "debian" + "install_instructions": "debian_new" } }, "Debian 12": {