diff --git a/linux/snap/snapcraft.yaml.in b/linux/snap/snapcraft.yaml.in
index f7540e41ce..ec4b9ca3a5 100644
--- a/linux/snap/snapcraft.yaml.in
+++ b/linux/snap/snapcraft.yaml.in
@@ -93,6 +93,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 a53f5fd8d7..75ed4869a1 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