diff --git a/linux/snap/snapcraft.yaml.in b/linux/snap/snapcraft.yaml.in
index c14bc55d53..7a74997ed5 100644
--- a/linux/snap/snapcraft.yaml.in
+++ b/linux/snap/snapcraft.yaml.in
@@ -11,7 +11,8 @@ confinement: strict
 parts:
   coq:
     plugin: nil
-    build-packages: [build-essential, curl, m4, unzip, git, libstdc++-7-dev]
+    # Note: to find out which libstdc++ version is required, enter a shell with "multipass shell snapcraft-coq-prover" and run "gcc-version" there.
+    build-packages: [build-essential, curl, m4, unzip, git, libstdc++-9-dev]
     stage-packages: [make, libmpfr6, libgmp10]
     source: .
     source-type: local