snap: add adwaita-icon-theme

coq · Nov 19, 2022 · 6021e5a · 6021e5a
1 parent d073480
commit 6021e5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: |