diff --git a/linux/snap/snapcraft.yaml.in b/linux/snap/snapcraft.yaml.in
index 7be70d949c..8c33b05202 100644
--- a/linux/snap/snapcraft.yaml.in
+++ b/linux/snap/snapcraft.yaml.in
@@ -55,7 +55,7 @@ apps:
     plugs: [home]
     command: coq-platform/@@COQ_VERSION@@/bin/coq_wrapper_coq_makefile
   coqidetop:
-    plugs: [home,network-bind]
+    plugs: [home,network-bind,network]
     command: coq-platform/@@COQ_VERSION@@/bin/coq_wrapper_coqidetop.opt