diff --git a/linux/snap/snapcraft.yaml.in b/linux/snap/snapcraft.yaml.in
index f7540e41ce..85db265d5d 100644
--- a/linux/snap/snapcraft.yaml.in
+++ b/linux/snap/snapcraft.yaml.in
@@ -12,7 +12,7 @@ parts:
   coq:
     plugin: nil
     build-packages: [build-essential, curl, m4, unzip, git]
-    stage-packages: [make, libmpfr6, libgmp10]
+    stage-packages: [make, libmpfr6, libgmp10, adwaita-icon-theme]
     source: .
     source-type: local
     override-build: |