diff --git a/linux/snap/snapcraft.yaml.in b/linux/snap/snapcraft.yaml.in
index 5265bd42db..43be5abf75 100644
--- a/linux/snap/snapcraft.yaml.in
+++ b/linux/snap/snapcraft.yaml.in
@@ -94,6 +94,10 @@ apps:
     plugs: [home,network-bind]
     command-chain: [ coq-platform/bin/coq_wrapper ]
     command: coq-platform/bin/coqidetop.opt
+  vscoqtop:
+    plugs: [home,network-bind]
+    command-chain: [ coq-platform/bin/coq_wrapper ]
+    command: coq-platform/bin/vscoqtop
   coqdep:
     plugs: [home]
     command-chain: [ coq-platform/bin/coq_wrapper ]
diff --git a/package_picks/package-pick-dev.sh b/package_picks/package-pick-dev.sh
index bdaca3039d..97d66d22d2 100644
--- a/package_picks/package-pick-dev.sh
+++ b/package_picks/package-pick-dev.sh
@@ -186,4 +186,8 @@ then
   # Bedrock2, fiat crypto, ...
   PACKAGES="${PACKAGES} coq-coqutil.dev"
   # PACKAGES="${PACKAGES} coq-bedrock2.dev"                   # Error: "sed: illegal option -- z"
+
+  # VSCoq
+  PACKAGES="${PACKAGES} vscoq-language-server.dev"
+
 fi