diff --git a/.devcontainer/arm64/devcontainer.json b/.devcontainer/arm64/devcontainer.json
index 34ed0be..2393a6f 100644
--- a/.devcontainer/arm64/devcontainer.json
+++ b/.devcontainer/arm64/devcontainer.json
@@ -3,7 +3,7 @@
 	"image": "ghcr.io/logsem/iris-tutorial/docker-arm64",
 	"customizations": {
 		"vscode": {
-		  "extensions": ["maximedenes.vscoq"]
+			"extensions": ["maximedenes.vscoq@2.2.0"]
 		},
 		"settings": {
 			"terminal.integrated.profiles.linux": {
diff --git a/.devcontainer/x86-64/devcontainer.json b/.devcontainer/x86-64/devcontainer.json
index eee7e6e..f8fd0d8 100644
--- a/.devcontainer/x86-64/devcontainer.json
+++ b/.devcontainer/x86-64/devcontainer.json
@@ -3,7 +3,7 @@
 	"image": "ghcr.io/logsem/iris-tutorial/docker-x86-64",
 	"customizations": {
 		"vscode": {
-		  "extensions": ["maximedenes.vscoq"]
+			"extensions": ["maximedenes.vscoq@2.2.0"]
 		},
 		"settings": {
 			"terminal.integrated.profiles.linux": {